The Large cardinal reference article from the English Wikipedia on 24-Jul-2004 (provided by Fixed Reference: snapshots of Wikipedia from wikipedia.org)

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 ZFC (assuming ZFC itself is consistent). Here are some large cardinals, arranged in order of the consistency strength:

• weakly inaccessible cardinals
• strongly inaccessible cardinals (actually the same consistency strength as weakly inaccessible)
• Mahlo cardinals
• n-Mahlo cardinals
• weakly compact cardinals
• totally indescribable cardinals
• unfoldable cardinals
• subtle cardinals
• ineffable cardinals
• remarkable cardinals
• 0^# (not a cardinal, but proves the existence of transitive models with the cardinals above)
• Ramsey cardinals
• measurable cardinals
• strong cardinals
• Woodin cardinals
• weakly hyper-Woodin cardinals
• Shelah cardinals
• hyper-Woodin cardinals
• superstrong cardinals
• supercompact cardinals
• extendible cardinals
• huge cardinals
• n-huge cardinalss
• rank-into-rank

and some other cardinals (unordered):

• Erdős cardinals
• super-almost-huge cardinals
• superhuge cardinals

This is the "Large cardinal" reference article from the English Wikipedia. All text is available under the terms of the GNU Free Documentation License. See also our Disclaimer.