In set theory, an uncountable cardinal is inaccessible if it cannot be obtained from smaller cardinals by the usual operations of cardinal arithmetic. More precisely, a cardinal κ is strongly inaccessible if it satisfies the following three conditions: it is uncountable, it is not a sum of fewer than κ cardinals smaller than κ, and implies .
The term "inaccessible cardinal" is ambiguous. Until about 1950, it meant "weakly inaccessible cardinal", but since then it usually means "strongly inaccessible cardinal". An uncountable cardinal is weakly inaccessible if it is a regular weak limit cardinal. It is strongly inaccessible, or just inaccessible, if it is a regular strong limit cardinal (this is equivalent to the definition given above). Some authors do not require weakly and strongly inaccessible cardinals to be uncountable (in which case is strongly inaccessible). Weakly inaccessible cardinals were introduced by Hausdorff (1908), and strongly inaccessible ones by Sierpiński & Tarski (1930) and Zermelo (1930), in the latter they were referred to along with as Grenzzahlen.[1]
Every strongly inaccessible cardinal is also weakly inaccessible, as every strong limit cardinal is also a weak limit cardinal. If the generalized continuum hypothesis holds, then a cardinal is strongly inaccessible if and only if it is weakly inaccessible.
(aleph-null) is a regular strong limit cardinal. Assuming the axiom of choice, every other infinite cardinal number is regular or a (weak) limit. However, only a rather large cardinal number can be both and thus weakly inaccessible.
An ordinal is a weakly inaccessible cardinal if and only if it is a regular ordinal and it is a limit of regular ordinals. (Zero, one, and ω are regular ordinals, but not limits of regular ordinals.) A cardinal which is weakly inaccessible and also a strong limit cardinal is strongly inaccessible.
The assumption of the existence of a strongly inaccessible cardinal is sometimes applied in the form of the assumption that one can work inside a Grothendieck universe, the two ideas being intimately connected.
^A. Kanamori, "Zermelo and Set Theory", p.526. Bulletin of Symbolic Logic vol. 10, no. 4 (2004). Accessed 21 August 2023.
and 26 Related for: Inaccessible cardinal information
cardinal is inaccessible if it cannot be obtained from smaller cardinals by the usual operations of cardinal arithmetic. More precisely, a cardinal κ...
A cardinal κ {\displaystyle \kappa } is called weakly Mahlo if κ {\displaystyle \kappa } is weakly inaccessible and the set of weakly inaccessible cardinals...
Grothendieck universe U such that x ∈ U. (C) For each cardinal κ, there is a strongly inaccessiblecardinal λ that is strictly larger than κ. To prove this...
worldly cardinal is a cardinal κ such that the rank Vκ is a model of Zermelo–Fraenkel set theory. By Zermelo's theorem on inaccessiblecardinals, every...
inaccessible cardinal, then "cutting the universe off" at the height of the first such cardinal yields a universe in which there is no inaccessiblecardinal. Or...
not inaccessible. ℵ 0 {\displaystyle \aleph _{0}} would be an inaccessiblecardinal of both "strengths" except that the definition of inaccessible requires...
hyper-inaccessible 1. "Hyper-inaccessiblecardinal" usually means a 1-inaccessiblecardinal 2. "Hyper-inaccessiblecardinal" sometimes means a cardinal κ...
(see Aleph number) worldly cardinals weakly and strongly inaccessible, α-inaccessible, and hyper inaccessiblecardinals weakly and strongly Mahlo, α-Mahlo...
weakly inaccessiblecardinal is also a fixed point of the aleph function. This can be shown in ZFC as follows. Suppose κ = ℵλ is a weakly inaccessible cardinal...
(1969). Ethereal cardinals were introduced by Ketonen (1974). Any subtle cardinal is ethereal, and any strongly inaccessible ethereal cardinal is subtle. Subtle...
properties that define strongly inaccessiblecardinals. A cardinal κ is strongly inaccessible if κ > ω and: If λ is a cardinal such that λ < κ, then 2λ < κ...
Lebesgue measurable. The construction relies on the existence of an inaccessiblecardinal. In this way Solovay showed that in the proof of the existence of...
this axiom. Uncountable (weak) limit cardinals that are also regular are known as (weakly) inaccessiblecardinals. They cannot be proved to exist within...
theory for supercompact cardinals is developed. Jech obtained a variant of the tree property which holds for an inaccessiblecardinal if and only if it is...
{\displaystyle crit(j)=} κ. (Hauser 1991, Theorem 1.3) κ is a strongly inaccessible ramifiable cardinal. (W. W. Comfort, S. Negrepontis, The Theory of Ultrafilters...
set-theoretic properties, for example when κ {\displaystyle \kappa } is an inaccessiblecardinal, V κ {\displaystyle V_{\kappa }} satisfies second-order ZFC ("satisfies"...
smaller large cardinals, such as inaccessiblecardinals. (Roughly speaking, the class of all ordinals in ZFC is an inaccessiblecardinal apart from the...
strongly inaccessiblecardinal is Lévy collapsed to ω2 then, in the resulting model, there are no Kurepa trees. The existence of an inaccessiblecardinal is...
needing the axiom of replacement to go outside Vω+ω. If κ is an inaccessiblecardinal, then Vκ is a model of Zermelo–Fraenkel set theory (ZFC) itself...
which holds for an inaccessiblecardinal iff it is supercompact. Indestructibility Strongly compact cardinal List of large cardinal properties Drake, F...
Non-existence of a two-valued σ-measure for the first uncountable inaccessiblecardinal", Acta Mathematica Academiae Scientiarum Hungaricae, 13 (1–2): 223–226...
limit cardinal, which completes the proof of its inaccessibility. Although it follows from ZFC that every measurable cardinal is inaccessible (and is...
inclination KPi, an extension of Kripke–Platek set theory based on an inaccessiblecardinal. KPI, an extension of Kripke–Platek set theory based on limits of...
proved in ZFC itself, but requires a mild large cardinal assumption (the existence of an inaccessiblecardinal). The much stronger axiom of determinacy, or...
smallest large cardinal typically studied, an inaccessiblecardinal, already implies the consistency of ZFC. Despite the fact that large cardinals have extremely...