List of ordinals: Difference between revisions
Jump to navigation
Jump to search
Content added Content deleted
No edit summary |
("recursive ordinals" are ordinals less than w1ck, so this was probably meant to be "recursively large") |
||
| Line 27: | Line 27: | ||
* PTO of \( \text{ZFC} \) |
* PTO of \( \text{ZFC} \) |
||
* [[church_kleene_ordinal|\( \omega^{\text{CK}}_{1} \)]] |
* [[church_kleene_ordinal|\( \omega^{\text{CK}}_{1} \)]] |
||
* |
* RECURSIVELY LARGE ORDINALS GO HERE<sup>(sort out)</sup> |
||
* The least recursively inaccessible ordinal<ref name=":0">D. Madore, [http://www.madore.org/~david/math/ordinal-zoo.pdf A Zoo of Ordinals] (2017). Accessed 7 September 2022.</ref><sup>(p.3)</sup> |
* The least recursively inaccessible ordinal<ref name=":0">D. Madore, [http://www.madore.org/~david/math/ordinal-zoo.pdf A Zoo of Ordinals] (2017). Accessed 7 September 2022.</ref><sup>(p.3)</sup> |
||
* The least recursively Mahlo ordinal<ref name=":0" /><sup>(p.3)</sup> |
* The least recursively Mahlo ordinal<ref name=":0" /><sup>(p.3)</sup> |
||