List of cardinal numbers with large cardinal properties
Main article: Large cardinal
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.
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 the axiom of choice).
Reinhardt cardinal, Berkeley cardinal
and 28 Related for: List of large cardinal properties information
includes a listoflargecardinalproperties in the mathematical field of set theory. It is arranged roughly in order of the consistency strength of the axiom...
mathematical field of set theory, a largecardinalproperty is a certain kind ofpropertyof transfinite cardinal numbers. Cardinals with such properties are, as...
weakly compact cardinal is a certain kind ofcardinal number introduced by Erdős & Tarski (1961); weakly compact cardinals are largecardinals, meaning that...
stronger largecardinal axioms (see listoflargecardinalproperties). Generalizations of this axiom are explored in inner model theory. The axiom of constructibility...
supercompact cardinal is a type oflargecardinal independently introduced by Solovay and Reinhardt. They display a variety of reflection properties. If λ {\displaystyle...
measurable cardinal is a certain kind oflargecardinal number. In order to define the concept, one introduces a two-valued measure on a cardinal κ, or more...
rank-into-rank axiom I1. Listoflargecardinalproperties The Dehornoy order on a braid group was motivated by propertiesof huge cardinals. A. Kanamori, W....
stronger largecardinals suggested by Woodin. Listoflargecardinalproperties Jensen, Ronald (1995), "Inner Models and LargeCardinals", The Bulletin of Symbolic...
analog of strong compactness. Listoflargecardinalproperties Hachtman, Sherwood; Sinapova, Dima (2020). "The super tree property at the successor of a singular"...
extendible cardinals are largecardinals introduced by Reinhardt (1974), who was partly motivated by reflection principles. Intuitively, such a cardinal represents...
In mathematics, subtle cardinals and ethereal cardinals are closely related kinds oflargecardinal number. A cardinal κ {\displaystyle \kappa } is called...
universe Zero sharp Glossary of set theory ListoflargecardinalpropertiesListofpropertiesof sets of reals Listof set identities and relations Wilhelm...
general Mahlo however, see https://mathoverflow.net/q/212597. Listoflargecardinalproperties Jech, Thomas (2003), Set Theory, Springer Monographs in Mathematics...
a cardinal number, or cardinal for short, is what is commonly called the number of elements of a set. In the case of a finite set, its cardinal number...
cardinal is inaccessible if it cannot be obtained from smaller cardinals by the usual operations ofcardinal arithmetic. More precisely, a cardinal κ...
In set theory, a branch of mathematics, a Q-indescribable cardinal is a certain kind oflargecardinal number that is hard to axiomatize in some language...
\kappa } is called the critical point of j {\displaystyle j} . Many largecardinalproperties can be phrased in terms of elementary embeddings. For an ordinal...
other property in the care of English Heritage. Listof Cadw properties (Wales) Listof Historic Scotland propertiesListof abbeys and priories Listof castles...
of nomenclature and propertiesoflarge numbers.[better source needed] Scientific notation was created to handle the wide range of values that occur in...
explore propertiesoflarger set-theoretic universes from a contained perspective. ineffable cardinal An ineffable cardinal is a type oflargecardinal related...
In mathematics, the cardinalityof a set is a measure of the number of elements of the set. For example, the set A = { 2 , 4 , 6 } {\displaystyle A=\{2...
used as cardinal numbers, which may go by various names. Natural numbers may also be used as ordinal numbers. Natural numbers may have properties specific...
cardinal is a cardinal number that is equal to its own cofinality. More explicitly, this means that κ {\displaystyle \kappa } is a regular cardinal if...