ON LÖWENHEIM–SKOLEM–TARSKI NUMBERS FOR EXTENSIONS OF FIRST ORDER LOGIC
From MaRDI portal
Publication:3094361
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)
supercompact cardinalLöwenheim-Skolem theoremequicardinality logicequicardinality quantifierHärtig-quantifier
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