nLab
large cardinal

Contents

Idea

A large cardinal is a cardinal number that is larger than can be proven to exist in the ambient set theory, usually ZF or ZFC. Large cardinals arrange themselves naturally into a more or less linear order of size and consistency strength, and provide a convenient yardstick to measure the consistency strength of various other assertions that are unprovable from ZFC.

Set theorists often adopt the existence of certain large cardinals as axioms in the foundation of mathematics.

List of large cardinal conditions

Here is a diagram showing the relation between these:

References

A general axiomatic framework for large cardinal axioms is proposed in

  • Arthur Apter, Carlos Diprisco, James Henle, William Swicker, Filter spaces: towards a unified theory of large cardinal and embedding axioms, Annals of Pure and Applied Logic Volume 41, Issue 2, 6 February 1989, Pages 93–106

  • Arthur Apter, Carlos Diprisco, James Henle, William Swicker, Filter spaces. II. Limit ultraproducts and iterated embeddings, Acta Cient. Venezolana 40 (1989), no. 5-6, 311–318.

Revised on January 31, 2014 22:09:22 by Urs Schreiber (89.204.130.213)