In mathematics, a Mahlo cardinal is a certain kind of large cardinal number. Mahlo cardinals were first described by Paul Mahlo (1911, 1912, 1913). As...
14 KB (2,328 words) - 06:16, 26 September 2024
{\displaystyle \pi } ) is Π 1 {\displaystyle \Pi _{1}} . Worldly cardinal, a weaker notion Mahlo cardinal, a stronger notion Club set Inner model Von Neumann universe...
16 KB (2,247 words) - 17:05, 10 November 2024
(See also strong cardinal.) A Woodin cardinal is preceded by a stationary set of measurable cardinals, and thus it is a Mahlo cardinal. However, the first...
11 KB (1,849 words) - 10:05, 4 March 2024
worldly cardinals weakly and strongly inaccessible, α-inaccessible, and hyper inaccessible cardinals weakly and strongly Mahlo, α-Mahlo, and hyper Mahlo cardinals...
5 KB (507 words) - 13:57, 14 September 2024
also that weakly compact cardinals are Mahlo cardinals, and the set of Mahlo cardinals less than a given weakly compact cardinal is stationary. If κ {\displaystyle...
7 KB (918 words) - 10:44, 31 October 2024
κ is called greatly Mahlo if it is κ+-Mahlo (Mekler & Shelah 1989). An inaccessible reflecting cardinal is not in general Mahlo however, see https://mathoverflow...
2 KB (200 words) - 06:26, 4 March 2024
Large countable ordinal (redirect from Mahlo ordinal)
is the first Mahlo cardinal. This is the proof-theoretic ordinal of KPM, an extension of Kripke-Platek set theory based on a Mahlo cardinal. Its value is...
39 KB (5,516 words) - 01:11, 7 November 2024
inaccessible cardinals Existence of Mahlo cardinals Existence of measurable cardinals (first conjectured by Ulam) Existence of supercompact cardinals The following...
18 KB (2,182 words) - 13:45, 19 September 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
that real valued measurable cardinals are weakly inaccessible (they are in fact weakly Mahlo). All measurable cardinals are real-valued measurable, and...
15 KB (1,774 words) - 14:30, 10 July 2024
"Hyper-inaccessible cardinal" occasionally means a Mahlo cardinal hyper-Mahlo A hyper-Mahlo cardinal is a cardinal κ that is a κ-Mahlo cardinal hyperset A set...
91 KB (11,519 words) - 01:11, 8 September 2024
Mahlo introduced Mahlo cardinals in 1911. He also showed that the continuum hypothesis implies the existence of a Luzin set. Mahlo, Paul (1908), Topologische...
2 KB (161 words) - 14:19, 11 July 2023
Reflection principle (section Large cardinals)
consistency is implied by an I3 rank-into-rank cardinal. Add an axiom saying that Ord is a Mahlo cardinal — for every closed unbounded class of ordinals...
23 KB (3,584 words) - 23:22, 28 July 2024
Constructible universe (section L and large cardinals)
Weakly Mahlo cardinals become strongly Mahlo. And more generally, any large cardinal property weaker than 0# (see the list of large cardinal properties)...
32 KB (6,094 words) - 22:53, 24 November 2024
theory) L L(R) Large cardinal property Inaccessible cardinal Mahlo cardinal Measurable cardinal Supercompact cardinal Weakly compact cardinal Linear partial...
9 KB (450 words) - 01:49, 26 October 2024
Arithmetic (2009, p.387) M. Rathjen, Ordinal notations based on a weakly Mahlo cardinal, (1990, p.251). Accessed 16 August 2022. M. Rathjen, "The Art of Ordinal...
16 KB (2,756 words) - 10:56, 30 August 2024
the first Mahlo cardinal. Uses Rathjen's ψ rather than Buchholz's ψ. 12.^ K {\displaystyle K} represents the first weakly compact cardinal. Uses Rathjen's...
51 KB (4,868 words) - 07:44, 25 October 2024
infinite family of axioms "there exists a strongly k {\displaystyle k} -Mahlo cardinal for all positive integers k {\displaystyle k} . and S M A H + {\displaystyle...
16 KB (3,502 words) - 09:30, 9 June 2024
"hyper-inaccessible cardinal", different authors conflict on this terminology. An ordinal α {\displaystyle \alpha } is called recursively Mahlo if it is admissible...
13 KB (1,815 words) - 07:14, 8 October 2024
collapse of a Mahlo cardinal to describe the ordinal-theoretic strength of Kripke–Platek set theory augmented by the recursive Mahloness of the class of...
68 KB (12,608 words) - 19:13, 16 October 2024
Equiconsistency (category Large cardinals)
\omega _{2}} -Aronszajn trees is equiconsistent with the existence of a Mahlo cardinal, the non-existence of ω 2 {\displaystyle \omega _{2}} -Aronszajn trees...
5 KB (732 words) - 15:37, 24 December 2023
Rathjen's psi function (category Cardinal numbers)
It collapses weakly Mahlo cardinals M {\displaystyle M} to generate large countable ordinals. A weakly Mahlo cardinal is a cardinal such that the set of...
8 KB (1,673 words) - 15:43, 27 September 2023
membership becomes a (proper class) model of ZFC (in which there are n-Mahlo cardinals for each n; this extension of NFU is strictly stronger than ZFC). This...
59 KB (10,960 words) - 21:39, 30 September 2024
manner that is highly parallel to that of (small) large cardinals (one can define recursively Mahlo ordinals, for example). But all these ordinals are still...
6 KB (660 words) - 20:55, 27 July 2024
The Higher Infinite (category Large cardinals)
material includes inaccessible cardinals, Mahlo cardinals, measurable cardinals, compact cardinals and indescribable cardinals. The chapter covers the constructible...
6 KB (658 words) - 23:07, 9 August 2023
Polokwane, Limpopo Province. South Africa. The parasite was named after Mahlo Mokgalong for his contribution to the field of bird parasitology. Mediorhynchus...
46 KB (5,225 words) - 18:32, 19 March 2024