cardinal is inaccessible if it cannot be obtained from smaller cardinals by the usual operations of cardinal arithmetic. More precisely, a cardinal κ...
16 KB (2,247 words) - 17:05, 10 November 2024
A cardinal κ {\displaystyle \kappa } is called weakly Mahlo if κ {\displaystyle \kappa } is weakly inaccessible and the set of weakly inaccessible cardinals...
14 KB (2,328 words) - 06:16, 26 September 2024
not inaccessible. ℵ 0 {\displaystyle \aleph _{0}} would be an inaccessible cardinal of both "strengths" except that the definition of inaccessible requires...
6 KB (857 words) - 13:26, 19 September 2024
Grothendieck universe (category Large cardinals)
Grothendieck universe U such that x ∈ U. (C) For each cardinal κ, there is a strongly inaccessible cardinal λ that is strictly larger than κ. To prove this...
9 KB (1,289 words) - 04:32, 23 August 2024
worldly cardinal is a cardinal κ such that the rank Vκ is a model of Zermelo–Fraenkel set theory. By Zermelo's theorem on inaccessible cardinals, every...
4 KB (464 words) - 06:54, 4 March 2024
inaccessible cardinal, then "cutting the universe off" at the height of the first such cardinal yields a universe in which there is no inaccessible cardinal. Or...
10 KB (1,337 words) - 18:04, 4 October 2024
theory for supercompact cardinals is developed. Jech obtained a variant of the tree property which holds for an inaccessible cardinal if and only if it is...
3 KB (392 words) - 07:52, 3 November 2024
properties that define strongly inaccessible cardinals. A cardinal κ is strongly inaccessible if κ > ω and: If λ is a cardinal such that λ < κ, then 2λ < κ...
47 KB (6,684 words) - 07:45, 6 March 2024
set-theoretic properties, for example when κ {\displaystyle \kappa } is an inaccessible cardinal, V κ {\displaystyle V_{\kappa }} satisfies second-order ZFC ("satisfies"...
11 KB (1,849 words) - 10:05, 4 March 2024
Non-existence of a two-valued σ-measure for the first uncountable inaccessible cardinal", Acta Mathematica Academiae Scientiarum Hungaricae, 13 (1–2): 223–226...
4 KB (550 words) - 10:12, 26 July 2024
itself, but ZFC + "there exists an inaccessible cardinal" proves ZFC is consistent because if κ is the least such cardinal, then Vκ sitting inside the von...
92 KB (12,121 words) - 18:52, 8 November 2024
this axiom. Uncountable (weak) limit cardinals that are also regular are known as (weakly) inaccessible cardinals. They cannot be proved to exist within...
9 KB (1,419 words) - 23:38, 5 August 2024
(see Aleph number) worldly cardinals weakly and strongly inaccessible, α-inaccessible, and hyper inaccessible cardinals weakly and strongly Mahlo, α-Mahlo...
5 KB (507 words) - 13:57, 14 September 2024
Aleph number (category Cardinal numbers)
weakly inaccessible cardinal is also a fixed point of the aleph function. This can be shown in ZFC as follows. Suppose κ = ℵλ is a weakly inaccessible cardinal...
16 KB (1,957 words) - 08:24, 25 September 2024
hyper-inaccessible 1. "Hyper-inaccessible cardinal" usually means a 1-inaccessible cardinal 2. "Hyper-inaccessible cardinal" sometimes means a cardinal κ...
91 KB (11,519 words) - 01:11, 8 September 2024
Reflection principle (section Large cardinals)
smaller large cardinals, such as inaccessible cardinals. (Roughly speaking, the class of all ordinals in ZFC is an inaccessible cardinal apart from the...
23 KB (3,584 words) - 23:22, 28 July 2024
and any strongly inaccessible ethereal cardinal is subtle.p. 391 Some equivalent properties to subtlety are known. Subtle cardinals are equivalent to...
4 KB (569 words) - 06:39, 7 September 2024
which holds for an inaccessible cardinal iff it is supercompact. Indestructibility Strongly compact cardinal List of large cardinal properties Drake, F...
6 KB (886 words) - 04:21, 20 March 2024
measurable. However, Solovay's result depends on the existence of an inaccessible cardinal, whose existence and consistency cannot be proved within standard...
8 KB (1,203 words) - 22:14, 26 August 2024
Solovay model (category Large cardinals)
Lebesgue measurable. The construction relies on the existence of an inaccessible cardinal. In this way Solovay showed that in the proof of the existence of...
8 KB (1,096 words) - 11:21, 24 November 2024
every set S of cardinality κ of subsets of κ, there is a non-trivial κ-complete filter that decides S. κ is κ-unfoldable. κ is inaccessible and the infinitary...
7 KB (918 words) - 10:44, 31 October 2024
Ramsey cardinal Erdős cardinal Extendible cardinal Huge cardinal Hyper-Woodin cardinal Inaccessible cardinal Ineffable cardinal Mahlo cardinal Measurable...
14 KB (1,012 words) - 00:08, 16 November 2024
limit cardinal, which completes the proof of its inaccessibility. Although it follows from ZFC that every measurable cardinal is inaccessible (and is...
15 KB (1,774 words) - 14:30, 10 July 2024
The consistency of ZFC does follow from the existence of a weakly inaccessible cardinal, which is unprovable in ZFC if ZFC is consistent. Nevertheless,...
46 KB (6,250 words) - 18:44, 20 November 2024
needing the axiom of replacement to go outside Vω+ω. If κ is an inaccessible cardinal, then Vκ is a model of Zermelo–Fraenkel set theory (ZFC) itself...
21 KB (2,809 words) - 09:08, 28 May 2024
strongly inaccessible cardinal is Lévy collapsed to ω2 then, in the resulting model, there are no Kurepa trees. The existence of an inaccessible cardinal is...
4 KB (486 words) - 06:22, 4 March 2024
inaccessible cardinals Existence of Mahlo cardinals Existence of measurable cardinals (first conjectured by Ulam) Existence of supercompact cardinals...
18 KB (2,182 words) - 13:45, 19 September 2024
{\displaystyle \Sigma _{n}^{1}} -indescribable cardinal". Hanf, W. P.; Scott, D. S. (1961), "Classifying inaccessible cardinals", Notices of the American Mathematical...
12 KB (1,900 words) - 04:21, 14 November 2024
smallest large cardinal typically studied, an inaccessible cardinal, already implies the consistency of ZFC. Despite the fact that large cardinals have extremely...
68 KB (8,330 words) - 18:57, 15 November 2024
axioms of ZF do not immediately apply to classes. However, if an inaccessible cardinal κ {\displaystyle \kappa } is assumed, then the sets of smaller rank...
9 KB (1,279 words) - 16:32, 17 November 2024