FANDOM


A Mahlo cardinal (or strongly Mahlo cardinal) is an inaccessible cardinal \(\alpha\) such that the set of inaccessible cardinals below \(\alpha\) is a stationary subset of \(\alpha\) — that is, every closed unbounded set in \(\alpha\) contains an inaccessible cardinal (in which the Von Neumann definition of ordinals is used). The smallest Mahlo cardinal is sometimes called "the" Mahlo cardinal \(M\). (The eponym "Mahlo" has been appropriated as an adjective, so "\(\alpha\) is a Mahlo cardinal" may be rephrased as "\(\alpha\) is Mahlo," for example.)

If we weaken "inaccessible" to merely "regular," we get the weakly Mahlo cardinals. The two definitions are equivalent if the generalized continuum hypothesis is taken to be true.

Neither Mahlo nor weakly Mahlo cardinals can be proven to exist in ZFC (assuming it is consistent), not even if we assume the existence of any number of inaccessible cardinals. Nevertheless, it's believed that the existence of these cardinals is consistent with ZFC.

The Mahlo cardinals are most relevant to googology through ordinal collapsing functions.

Club sets and stationary sets Edit

The notions of regularity and inaccessibility are explained in the article for inaccessible cardinals. The Mahlo cardinal requires us to define in addition the idea of a stationary set, and before we define that we need to define a club set.

We say that \(S\) is a club set in limit ordinal \(\alpha\) iff \(S\) is a subset of \(\alpha\), \(S\) is closed in \(\alpha\), and \(S\) is unbounded in \(\alpha\). Intuitively, \(S\) is a part of \(\alpha\), \(S\) contains all its own limit points provided that they are less than \(\alpha\), and every element in \(\alpha\) is exceeded by some element in \(S\).

An example: all the countable limit ordinals form a club set (call it \(A\)) in \(\omega_1\). The limit of a set of countable limit ordinals is always a countable limit ordinal, with one exception — the limit of \(A\) is \(\omega_1\), and \(\omega_1\) is not in \(A\). But since \(\omega_1\) is not a member of \(\omega_1\) either, this does not matter. \(A\) is unbounded in \(\omega_1\), since any countable ordinal is beaten by a member in \(A\). Therefore, \(A\) is club in \(\omega_1\). (in general, it is easy to see that given a limit ordinal \(\alpha\), set of ordinals below \(\alpha\) is club in \(\alpha\).)

We say that \(S\) is a stationary set in limit ordinal \(\alpha\) iff \(S\) intersects all the club sets of \(\alpha\).

Higher-order Mahlo cardinals Edit

A cardinal \(\kappa\) is 1-Mahlo iff it is Mahlo and the set of Mahlo cardinals less than \(\kappa\) is a stationary subset of \(\kappa\). In general, a cardinal \(\kappa\) is \(\alpha\)-Mahlo iff it is Mahlo and, for all \(\beta < \alpha\), the set of \(\beta\)-Mahlo cardinals less than \(\kappa\) is a stationary subset of \(\kappa\).

A cardinal \(\kappa\) is hyper-Mahlo iff it is \(\kappa\)-Mahlo.

See also Edit

Ordinals, ordinal analysis and set theory

Basics: cardinal numbers · normal function · ordinal notation · ordinal numbers
Theories: Presburger arithmetic · Peano arithmetic · second-order arithmetic · ZFC
Countable ordinals: \(\omega\) · \(\varepsilon_0\) · \(\zeta_0\) · \(\Gamma_0\) · \(\vartheta(\Omega^3)\) · \(\vartheta(\Omega^\omega)\) · \(\vartheta(\Omega^\Omega)\) · \(\vartheta(\varepsilon_{\Omega + 1})\) · \(\psi(\Omega_\omega)\) · \(\psi(\varepsilon_{\Omega_\omega + 1})\) · \(\psi(\psi_I(0))\)‎ · \(\omega_1^\mathfrak{Ch}\) · \(\omega_1^\text{CK}\) · \(\lambda,\zeta,\Sigma,\gamma\) · List of countable ordinals
Ordinal hierarchies: Fast-growing hierarchy · Slow-growing hierarchy · Hardy hierarchy · Middle-growing hierarchy · N-growing hierarchy
Uncountable cardinals: \(\omega_1\) · omega fixed point · inaccessible cardinal \(I\) · Mahlo cardinal \(M\) · weakly compact cardinal \(K\) · indescribable cardinal · rank-into-rank cardinal · more...

Ad blocker interference detected!


Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.