ON LÖWENHEIM–SKOLEM–TARSKI NUMBERS FOR EXTENSIONS OF FIRST ORDER LOGIC

DOI10.1142/S0219061311001018zbMath1252.03094MaRDI QIDQ3094361

Jouko Väänänen, Menachem Magidor

Publication date: 24 October 2011

Published in: Journal of Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

supercompact cardinalLöwenheim-Skolem theoremequicardinality logicequicardinality quantifierHärtig-quantifier

Mathematics Subject Classification ID

Large cardinals (03E55) Logic with extra quantifiers and operators (03C80) Second- and higher-order model theory (03C85) Set-theoretic model theory (03C55)

Related Items (7)

\(\mu\)-abstract elementary classes and other generalizations ⋮ LARGE CARDINALS AS PRINCIPLES OF STRUCTURAL REFLECTION ⋮ LOGICALITY AND MODEL CLASSES ⋮ ON THE SYMBIOSIS BETWEEN MODEL-THEORETIC AND SET-THEORETIC PROPERTIES OF LARGE CARDINALS ⋮ Model theoretic characterizations of large cardinals ⋮ When cardinals determine the power set: inner models and Härtig quantifier logic ⋮ LOGICALITY AND MEANING

Cites Work

• Changing cofinalities and the nonstationary ideal
• On the singular cardinals problem. I
• Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
• On the role of supercompact and extendible cardinals in logic
• SQUARES, SCALES AND STATIONARY REFLECTION
• On changing cofinality of partially ordered sets
• Boolean valued models and generalized quantifiers
• How large is the first strongly compact cardinal? or a study on identity crises
• Strong axioms of infinity and elementary embeddings
• On Extensions of Elementary Logic

This page was built for publication: ON LÖWENHEIM–SKOLEM–TARSKI NUMBERS FOR EXTENSIONS OF FIRST ORDER LOGIC