ON THE SYMBIOSIS BETWEEN MODEL-THEORETIC AND SET-THEORETIC PROPERTIES OF LARGE CARDINALS

DOI10.1017/jsl.2015.60zbMath1436.03265OpenAlexW2461540875MaRDI QIDQ3188331

Jouko Väänänen, Joan Bagaria

Publication date: 19 August 2016

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://pure.uva.nl/ws/files/17242265/on_the_symbiosis_between_modeltheoretic_and_settheoretic_properties_of_large_cardinals.pdf

zbMATH Keywords

large cardinalsgeneralized quantifiersstructural reflectionsymbiosisLöwenheim-Skolem theorems

Mathematics Subject Classification ID

Large cardinals (03E55) Set-theoretic model theory (03C55)

Related Items

LARGE CARDINALS AS PRINCIPLES OF STRUCTURAL REFLECTION ⋮ Structural reflection, shrewd cardinals and the size of the continuum ⋮ Model theoretic characterizations of large cardinals ⋮ Huge reflection

Cites Work

• Unnamed Item
• Unnamed Item
• \(C ^{(n)}\)-cardinals
• On the role of supercompact and extendible cardinals in logic
• ON LÖWENHEIM–SKOLEM–TARSKI NUMBERS FOR EXTENSIONS OF FIRST ORDER LOGIC
• δ-Logics and generalized quantifiers
• Models with second order properties II. Trees with no undefined branches