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

DOI10.1017/JSL.2015.60MaRDI QIDQ3188331zbMATHOpenAlexFDO

Authors Joan Bagaria, Jouko Väänänen

Publication date 19 August 2016

Published in 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

generalized quantifierslarge cardinalsstructural reflectionsymbiosisLöwenheim-Skolem theorems

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 3627183 (Why is no real title available?)
• scientific article; zbMATH DE number 5201159 (Why is no real title available?)
• Models with second order properties II. Trees with no undefined branches
• On Löwenheim-Skolem-Tarski numbers for extensions of first order logic
• On the role of supercompact and extendible cardinals in logic
• \(C ^{(n)}\)-cardinals
• δ-Logics and generalized quantifiers

Cited in

(8)

• Model theoretic characterizations of large cardinals
• LARGE CARDINALS AS PRINCIPLES OF STRUCTURAL REFLECTION
• Model theoretic characterizations of large cardinals revisited
• WEAKLY REMARKABLE CARDINALS, ERDŐS CARDINALS, AND THE GENERIC VOPĚNKA PRINCIPLE
• Huge reflection
• Reflexive subgroups of the Baer-Specker group and Martin's axiom
• Patterns of structural reflection in the large-cardinal hierarchy
• Structural reflection, shrewd cardinals and the size of the continuum

This page was built for publication: ON THE SYMBIOSIS BETWEEN MODEL-THEORETIC AND SET-THEORETIC PROPERTIES OF LARGE CARDINALS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3188331)