Mathematical logic and foundations Definition
Regular cardinal
Builds on Cardinal numberCofinality
Definition
Let be an infinite cardinal, identified with the least ordinal of its cardinality. The cardinal is regular if its cofinality is , that is, . It is singular if .
Remarks
Example: in ZFC, every infinite successor cardinal is regular. Check: if were the union of fewer than sets each of size less than , it would have size at most , using the axiom of choice. Non-example: is singular, since is a cofinal subset of order type . Equivalently, in ZFC, is regular if and only if it is not the union of fewer than sets each of cardinality less than . is regular, and a limit cardinal with a limit ordinal has cofinality . A regular uncountable limit cardinal is called weakly inaccessible; its existence cannot be proved in ZFC, if ZFC is consistent.
Reading path
To understand this page from the ground up, read these 31 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Element definition
- Proposition concept
- Set definition
- Implication definition
- Predicate definition
- Ordered pair definition
- Existential quantifier definition
- Universal quantifier definition
- Cartesian product definition
- Subset definition
- Uniqueness quantifier definition
- Binary relation definition
- Antisymmetric relation definition
- Reflexive relation definition
- Transitive relation definition
- Function definition
- Preorder definition
- Codomain definition
- Injective function definition
- Partial order definition
- Surjective function definition
- Least element definition
- Total order definition
- Bijective function definition
- Well-order definition
- Equinumerous sets definition
- Ordinal number definition
- Cardinality definition
- Cardinal number definition
- Cofinality definition
- Regular cardinal definition
Where this leads
5 pages build on this one.
Further reading
About this page
| Tag | ZCE333FAWC |
|---|---|
| URI | m2://ZCE333FAWC |
| Kind | definition |
| Writing | W0 stub |
| MSC | 03E10, 03E04 |
| Defines | Regular cardinal |
| Uses | Cardinal number, Cofinality |
| Changed | 2 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- 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.