List of ordinals: Difference between revisions
Jump to navigation
Jump to search
no edit summary
No edit summary |
No edit summary |
||
Line 42:
* PTO of \( \text{ZFC} \)
* [[church_kleene_ordinal|\( \omega^{\text{CK}}_{1} \)]], the Church-Kleene ordinal, i.e. the least ordinal which is not recursive and the second admissible ordinal
* \( \omega^{\text{CK}}_{\omega} \), the least limit of admissible ordinals = the least \(\alpha\) such that \(L_\alpha\cap\mathcal P(\omega)\) models \( \Pi^1_1 \)-comprehension
* The least recursively inaccessible ordinal = the least \(\alpha\) such that \(L_\alpha\) models \( \textsf{KPi} \) or \(L_\alpha\cap\mathcal P(\omega)\) models \( \Delta^1_2 \)-comprehension<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 = the least doubly \( \Pi_2 \)-reflecting ordinal = the least \(\alpha\) such that \(L_\alpha\) models \( \textsf{KPM} \)<ref name=":0" /><sup>(p.3)</sup>
|