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 |
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]] |