Online Encyclopedia Search Tool

Your Online Encyclopedia


Online Encylopedia and Dictionary Research Site

Online Encyclopedia Free Search Online Encyclopedia Search    Online Encyclopedia Browse    welcome to our free dictionary for your research of every kind

Online Encyclopedia

Large cardinal

In mathematics, a cardinal is called a large cardinal if it belongs to a class of cardinals, the existence of which provably cannot be proved within the standard axiomatic set theory ZFC, if one assumes ZFC itself is consistent. Therefore the discussion of large cardinals takes place in a realm of conditional proofs, which (according to the consensus view of logicians) will remain so.

The following is a list of some types of large cardinals; it is arranged in order of the consistency strength. 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 all listed cardinal descriptions φ of lesser consistency strength, V(κ) satisfies "there are unboundedly many cardinals satisfying φ".

Other types of large cardinals

Last updated: 02-26-2005 05:17:49