Mathematical logic and foundations Definition
Mahlo cardinal
Builds on Inaccessible cardinalStationary setRegular cardinal
Definition
Let be an inaccessible cardinal. The cardinal is Mahlo if the set is a stationary subset of , that is, it meets every closed unbounded subset of .
A weakly inaccessible cardinal with the same property is weakly Mahlo.
Remarks
For inaccessible , the uncountable strong limit cardinals below form a closed unbounded set. So is Mahlo if and only if the inaccessible cardinals below form a stationary set. The least inaccessible cardinal is not Mahlo. Indeed, a regular cardinal among the uncountable strong limit cardinals below would be an inaccessible cardinal below . So the set of regular cardinals below misses this closed unbounded set. If is Mahlo, then is the -th inaccessible cardinal. Every weakly compact cardinal is Mahlo.
Reading path
To understand this page from the ground up, read these 4 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Inaccessible cardinal concept
- Regular cardinal concept
- Stationary set concept
- Mahlo cardinal definition
Further reading
About this page
| Tag | PGJNYGAN75 |
|---|---|
| URI | m2://PGJNYGAN75 |
| Kind | definition |
| Writing | W0 stub |
| MSC | 03E55 |
| Defines | Mahlo cardinal |
| Uses | Inaccessible cardinal, Stationary set, Regular cardinal |
| Changed | 2 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.