×

\(C ^{(n)}\)-cardinals. (English) Zbl 1250.03108

Summary: For each natural number \(n\), let \(C ^{(n)}\) be the closed and unbounded proper class of ordinals \(\alpha\) such that \(V _{\alpha }\) is a \(\Sigma _{n }\) elementary substructure of \(V\). We say that \(\kappa\) is a \(C ^{(n)}\)-cardinal if it is the critical point of an elementary embedding \(j : V \rightarrow M,\, M\) transitive, with \(j(\kappa )\) 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 J. Bagaria, C. Casacuberta, A. R. D. Mathias and J. Rosický [“Definable orthogonality classes are small” (submitted)], we give new characterizations of Vopeňka’s principle in terms of \(C ^{(n)}\)-extendible cardinals.

MSC:

03E55 Large cardinals
03C55 Set-theoretic model theory

References:

[1] Bagaria, J., Casacuberta, C., Mathias, A.R.D., Rosický, J.: Definable orthogonality classes are small. Submitted for publication (2010) · Zbl 1373.03108
[2] Barbanel J., Di Prisco C.A., Tan I.B.: Many times huge and superhuge cardinals. J. Symb. Log. 49, 112–122 (1984) · Zbl 0597.03031 · doi:10.2307/2274094
[3] Dimonte, V.: Non-Proper Elementary Embeddings beyond L(V {\(\lambda\)}+1). Doctoral dissertation. Universitá di Torino (2010)
[4] Jech T.: Set Theory. The Third Millenium Edition, Revised and Expanded. Springer Monographs in Mathematics. Springer, Berlin, Heidelberg (2003)
[5] Kanamori, A.: The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings. Perspectives in Mathematical Logic. Springer, Berlin, Heidelberg (1994) · Zbl 0813.03034
[6] Kunen K.: Elementary embeddings and infinitary combinatorics. J. Symb. Log. 36, 407–413 (1971) · Zbl 0272.02087 · doi:10.2307/2269948
[7] Laver R.: Implications between strong large cardinal axioms. Ann. Pure Appl. Log. 90, 79–90 (1997) · Zbl 0890.03027 · doi:10.1016/S0168-0072(97)00031-6
[8] Magidor M.: On the role of supercompact and extendible cardinals in logic. Israel J. Math. 10, 147–157 (1971) · Zbl 0263.02034 · doi:10.1007/BF02771565
[9] Martin D.A., Steel J.R.: A proof of Projective Determinacy. J. Am. Math. Soc. 2(1), 71–125 (1989) · Zbl 0668.03021 · doi:10.1090/S0894-0347-1989-0955605-X
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.