Вы находитесь на странице: 1из 2

List of large cardinal properties

This page includes a list of cardinals with large cardinal properties. It is arranged roughly in order of the consistency strength of the
axiom asserting the existence of cardinals with the given property. Existence of a cardinal number of a given type implies the
existence of cardinals of most of the types listed above that type, and for most listed cardinal descriptions of lesser consistency
strength, V satisfies "there is an unbounded class of cardinals satisfying ".

The following table usually arranges cardinals in order of consistency strength, with size of the cardinal used as a tiebreaker. In a few
cases (such as strongly compact cardinals) the exact consistency strength is not known and the table uses the current best guess.

"Small" cardinals: 0, 1, 2, ..., ,..., , ... (see Aleph number)


worldly cardinals
weakly and strongly inaccessible, -inaccessible, and hyper inaccessible cardinals
weakly and strongly Mahlo, -Mahlo, and hyper Mahlo cardinals.
reflecting cardinals
1 m
weakly compact (= 1-indescribable), n -indescribable, totally indescribable cardinals
-unfoldable, unfoldable cardinals, -indescribable cardinals and -shrewd, shrewd cardinals [not clear how these
relate to each other].
ethereal cardinals, subtle cardinals
almost ineffable, ineffable, n-ineffable, totally ineffable cardinals
remarkable cardinals
-Erds cardinals (for countable ), 0# (not a cardinal), -iterable, -Erds cardinals (for uncountable )
almost Ramsey, Jnsson, Rowbottom, Ramsey, ineffably Ramsey, completely Ramsey, strongly Ramsey, super
Ramsey cardinals
measurable cardinals, 0
-strong, strong cardinals, tall cardinals
Woodin, weakly hyper-Woodin, Shelah, hyper-Woodin cardinals
superstrong cardinals (=1-superstrong; for n-superstrong for n2 see further down.)
subcompact, strongly compact (Woodin< strongly compactsupercompact),supercompact, hypercompact cardinals
-extendible, extendible cardinals
Vopnka cardinals, Shelah for supercompactness,high jump cardinals
n-superstrong (n2), n-almost huge, n-super almost huge, n-huge, n-superhuge cardinals (1-huge=huge, etc.)
Wholeness axiom, rank-into-rank (Axioms I3, I2, I1, and I0)
The following even stronger large cardinal properties are not consistent with the axiom of choice, but their existence has not yet been
refuted in ZF alone (that is, without use of theaxiom of choice).

Reinhardt cardinal, Berkeley cardinal

References
Drake, F. R. (1974). Set Theory: An Introduction to Large Cardinals (Studies in Logic and the Foundations of
Mathematics ; V. 76). Elsevier Science Ltd.ISBN 0-444-10535-2.
Kanamori, Akihiro (2003). The Higher Infinite : Large Cardinals in Set Theory from Their Beginnings (2nd ed.).
Springer. ISBN 3-540-00384-3.
Kanamori, Akihiro; Magidor, M. (1978). "The evolution of large cardinal axioms in set theory".Higher Set Theory.
Lecture Notes in Mathematics. 669 t(ypescript). Springer Berlin / Heidelberg. pp. 99275.ISBN 978-3-540-08926-1.
doi:10.1007/BFb0103104.
Solovay, Robert M.; Reinhardt, William N.; Kanamori, Akihiro (1978)."Strong axioms of infinity and elementary
embeddings" (PDF). Annals of Mathematical Logic. 13 (1): 73116. doi:10.1016/0003-4843(78)90031-1.

External links
Cantor's attic
some diagrams of large cardinal properties

Retrieved from "https://en.wikipedia.org/w/index.php?title=List_of_large_cardinal_properties&oldid=763865827


"

This page was last edited on 5 February 2017, at 17:50.

Text is available under theCreative Commons Attribution-ShareAlike License ; additional terms may apply. By using this
site, you agree to the Terms of Use and Privacy Policy. Wikipedia is a registered trademark of theWikimedia
Foundation, Inc., a non-profit organization.