Abstract
For each natural number n, let C (n) be the closed and unbounded proper class of ordinals α such that V α is a Σ n elementary substructure of V. We say that κ is a C (n) -cardinal if it is the critical point of an elementary embedding j : V → M, M transitive, with j(κ) in C (n). By analyzing the notion of C (n)-cardinal at various levels of the usual hierarchy of large cardinal principles we show that, starting at the level of superstrong cardinals and up to the level of rank-into-rank embeddings, C (n)-cardinals form a much finer hierarchy. The naturalness of the notion of C (n)-cardinal is exemplified by showing that the existence of C (n)-extendible cardinals is equivalent to simple reflection principles for classes of structures, which generalize the notions of supercompact and extendible cardinals. Moreover, building on results of Bagaria et al. (2010), we give new characterizations of Vopeňka’s Principle in terms of C (n)-extendible cardinals.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Bagaria, J., Casacuberta, C., Mathias, A.R.D., Rosický, J.: Definable orthogonality classes are small. Submitted for publication (2010)
Barbanel J., Di Prisco C.A., Tan I.B.: Many times huge and superhuge cardinals. J. Symb. Log. 49, 112–122 (1984)
Dimonte, V.: Non-Proper Elementary Embeddings beyond L(V λ+1). Doctoral dissertation. Universitá di Torino (2010)
Jech T.: Set Theory. The Third Millenium Edition, Revised and Expanded. Springer Monographs in Mathematics. Springer, Berlin, Heidelberg (2003)
Kanamori, A.: The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings. Perspectives in Mathematical Logic. Springer, Berlin, Heidelberg (1994)
Kunen K.: Elementary embeddings and infinitary combinatorics. J. Symb. Log. 36, 407–413 (1971)
Laver R.: Implications between strong large cardinal axioms. Ann. Pure Appl. Log. 90, 79–90 (1997)
Magidor M.: On the role of supercompact and extendible cardinals in logic. Israel J. Math. 10, 147–157 (1971)
Martin D.A., Steel J.R.: A proof of Projective Determinacy. J. Am. Math. Soc. 2(1), 71–125 (1989)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Bagaria, J. C (n)-cardinals. Arch. Math. Logic 51, 213–240 (2012). https://doi.org/10.1007/s00153-011-0261-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-011-0261-8