Extendible cardinal

In mathematics, extendible cardinals are large cardinals introduced by Reinhardt (1974), who was partly motivated by reflection principles. A cardinal number κ is called η-extendible if for some λ there is a nontrivial elementary embedding j of

V_κ+η

into

V_λ

where κ is the critical point of j.

κ is called an extendible cardinal if it is η-extendible for every ordinal number η.

Vopěnka's principle implies the existence of extendible cardinals. All extendible cardinals are supercompact cardinals.

See also

• List of large cardinal properties
• Reinhardt cardinal

References

"A cardinal κ is extendible if and only if for all α>κ there exists β and an elementary embedding from V(α) into V(β) with critical point κ." -- "Restrictions and Extensions" by Harvey M. Friedman http://www.math.ohio-state.edu/~friedman/pdf/ResExt021703.pdf

• Kanamori, Akihiro (2003). The Higher Infinite : Large Cardinals in Set Theory from Their Beginnings (2nd ed ed.). Springer. ISBN 3-540-00384-3. {{cite book}}: |edition= has extra text (help)
• Reinhardt, W. N. (1974), "Remarks on reflection principles, large cardinals, and elementary embeddings.", Axiomatic set theory, Proc. Sympos. Pure Math., vol. XIII, Part II, Providence, R. I.: Amer. Math. Soc., pp. 189–205, MR 0401475