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.
KeywordsC(n)-cardinals Supercompact cardinals Extendible cardinals Vopenka’s Principle Reflection
Mathematics Subject Classification (2000)03E55 03C55
Unable to display preview. Download preview PDF.
- 1.Bagaria, J., Casacuberta, C., Mathias, A.R.D., Rosický, J.: Definable orthogonality classes are small. Submitted for publication (2010)Google Scholar
- 3.Dimonte, V.: Non-Proper Elementary Embeddings beyond L(V λ+1). Doctoral dissertation. Universitá di Torino (2010)Google Scholar
- 4.Jech T.: Set Theory. The Third Millenium Edition, Revised and Expanded. Springer Monographs in Mathematics. Springer, Berlin, Heidelberg (2003)Google Scholar
- 5.Kanamori, A.: The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings. Perspectives in Mathematical Logic. Springer, Berlin, Heidelberg (1994)Google Scholar