List of large cardinal properties

This page includes a list of large cardinal properties in the mathematical field of set theory. 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.

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 the axiom of choice).

References

edit
  • 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 (PDF). Lecture Notes in Mathematics. Vol. 669. Springer Berlin / Heidelberg. pp. 99–275. doi:10.1007/BFb0103104. ISBN 978-3-540-08926-1.
  • Solovay, Robert M.; Reinhardt, William N.; Kanamori, Akihiro (1978). "Strong axioms of infinity and elementary embeddings" (PDF). Annals of Mathematical Logic. 13 (1): 73–116. doi:10.1016/0003-4843(78)90031-1.
edit