List of ordinals: Difference between revisions

Jump to navigation Jump to search
Content added Content deleted
(Possible better searchability)
No edit summary
Line 89: Line 89:
== Uncountable ordinals ==
== Uncountable ordinals ==
* [[omega_1|\( \Omega \)]], the smallest [[uncountable]] ordinal
* [[omega_1|\( \Omega \)]], the smallest [[uncountable]] ordinal
Further on, there lie [[Large cardinal|large cardinals]], so big that their existence is unprovable in ZFC (assuming its existence), but which are useful if they do exist:
Further on, there lie [[Large cardinal|large cardinals]], so big that their existence is unprovable in ZFC (assuming its consistency), but which are useful if they do exist:
* \( I \), the smallest [[inaccessible cardinal]]
* \( I \), the smallest [[inaccessible cardinal]]
* \( M \), the smallest [[Mahlo cardinal]]
* \( M \), the smallest [[Mahlo cardinal]]