• 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
  • Thumbnail for Axiom of limitation of size
    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
  • Thumbnail for Aleph number
    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
  • 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