Springer Nature is making SARS-CoV-2 and COVID-19 research free. View research | View latest news | Sign up for updates

Model theoretic characterizations of large cardinals

  • 7 Accesses

Abstract

We consider compactness characterizations of large cardinals. Based on results of Benda [Ben78], we study compactness for omitting types in various logics. In \(\mathbb{L}\)κ,κ, this allows us to characterize any large cardinal defined in terms of normal ultrafilters, and we also analyze second-order and sort logic. In particular, we give a compactness for omitting types characterization of huge cardinals, which have consistency strength beyond Vopĕnka’s Principle.

This is a preview of subscription content, log in to check access.

References

  1. [Bag12]

    J. Bagaria, C(n)-cardinals, Archive for Mathematical Logic 51 (2012), 213–240.

  2. [Bal09]

    J. Baldwin, Categoricity, University Lecture Series, Vol. 50, American Mathematical Society, Providence, RI, 2009.

  3. [Bar74]

    J. Barwise, Axioms for abstract model theory, Annals of Mathematical Logic 7 (1974), 221–265.

  4. [Ben78]

    M. Benda, Compactness for omitting of types, Annals Mathematical Logic 4 (1978), 39–56.

  5. [BV16]

    J. Bagaria and J. Väänänen, On the symbiosis between model-theoretic and set-theoretic properties of large cardinals, Journal of Symbolic Logic 81 (2016), 584–604.

  6. [CK12]

    C. C. Chang and H. J. Keisler, Model Theory, Studies in Logic and the Foundations of Mathematics, Vol. 73, North-Holland, Amsterdam, 1990.

  7. [Dim]

    V. Dimonte, I0 and rank-into-rank axioms, https://arxiv.org/abs/1707.02613.

  8. [Dim18]

    V. Dimonte, I0 and rank-into-rank axioms, Bollettino dell’Unione Matematica Italiana 11 (2018), 315–361.

  9. [GH19]

    V. Gitman and J. D. Hamkins, A model of the generic Vopĕnka principle in which the ordinals are not Mahlo, Archive for Mathematical Logic 58 (2019), 245–265.

  10. [Kan08]

    A. Kanamori, The Higher Infinite: Large Cardinals in Set Theory from their Beginnings, Springer Monographs in Mathematics, Springer, Berlin, 2009.

  11. [Kei71]

    H. J. Keisler, Model Theory for Infinitary Logic, Studies in Logic and the Foundations of Mathematics, Vol. 62, North-Holland, Amsterdam, 1971.

  12. [Lav97]

    R. Laver, Implications between strong large cardinal axioms, Annal of Pure and Applied Logic 90 (1997), 79–90.

  13. [Mag71]

    M. Magidor, On the role of supercompact and extendible cardinals in logic, Israel Journal of Mathematics 10 (1971), 147–157.

  14. [Mag76]

    M. Magidor, How large is the first strongly compact cardinal? or A study on identity crises, Annals of Mathematical Logic 10 (1976), 33–57.

  15. [Mak85]

    J. Makowsky, Vopenka’s principle and compact logics, Journal of Symbolic Logic 50 (1985), 42–48.

  16. [MS89]

    D. Martin and J. Steel, A proof of projective determinacy, Journal of the American Mathematical Society 2 (1989), 71–125.

  17. [MV11]

    M. Magidor and J. Väänänen, On the Löwenheim—Skolem—Tarski numbers for extensions of first-order logic, Journal of Mathematical Logic 11 (2011), 87–113.

  18. [Sac10]

    G. Sacks, Saturated Model Theory, World Scientific, Hackensack, NJ, 2010.

  19. [Sha91]

    S. Shapiro, Foundations Without Foundationalism: A Case for Second-order Logic, Oxford Logic Guides, Vol. 17, Clarendon Press, Oxford University Press, London, 1991.

  20. [Tar62]

    A. Tarski, Some problems and results relevant to the foundations of set theory, in Logic, Methodology and Philosophy of Science (Proc. 1960 Internat. Congr.), Stanford University Press, Stanford, CA, 1962, pp. 125–135.

  21. [Tsal4]

    K. Tsaprounis, Elementary chains and C(n)-cardinals, Archive for Mathematical Logic 53 (2014), 89–118.

  22. [Tsal8]

    K. Tsaprounis, On C(n)-extendible cardinals, Journal of Symbolic Logic 83 (2018), 1112–1131.

  23. [Usul7]

    T. Usuba, The downward directed grounds hypothesis and very large cardinals, Journal of Mathematical Logic 17 (2017), Article no. 1750009.

  24. [Vää79]

    J. Väänänen, Abstract logic and set theory. I. Definability, in Logic Colloquium 78 (Mons, 1978), Studies in Logic and the Foundations of Mathematics, Vol. 97, North-Holland, Amsterdam, 1979, pp. 391–421.

  25. [Vää01]

    J. Väänänen, Second-order logic and foundations of mathematics, Bulletin of Symbolic Logic 7 (2001), 504–520.

  26. [Vää14]

    J. Väänänen, Sort logic and foundations of mathematics, in Infinity and Truth, Lecture Notes Series of the Institute for Mathematical Sciences of the National University of Singapore, Vol. 25, World Scientific, Hackensack, NJ, 2014, pp. 171–186.

Download references

Author information

Correspondence to Will Boney.

Additional information

This material is based upon work done while the author was supported by the National Science Foundation under Grant No. DMS-1402191.

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Boney, W. Model theoretic characterizations of large cardinals. Isr. J. Math. (2020). https://doi.org/10.1007/s11856-020-1971-6

Download citation