List of ordinals: Difference between revisions
Jump to navigation
Jump to search
Content added Content deleted
(More) |
No edit summary |
||
| Line 38: | Line 38: | ||
* The least \( (^++1) \)-stable ordinal<sup>(Is this strictly greater than previous entry?)</sup><ref name="OrderOfReflection" /><sup>(p.20)</sup> |
* The least \( (^++1) \)-stable ordinal<sup>(Is this strictly greater than previous entry?)</sup><ref name="OrderOfReflection" /><sup>(p.20)</sup> |
||
* The least doubly \( (+1) \)-stable ordinal<ref name=":0" /><sup>(p.4)</sup> |
* The least doubly \( (+1) \)-stable ordinal<ref name=":0" /><sup>(p.4)</sup> |
||
* The least nonprojectible ordinal<ref name=":0" /><sup>(p.5)</sup> = least ordinal \( \Pi_2 \)-reflecting on class of stable ordinals below<ref name=":2">E. Kranakis, [https://www.sciencedirect.com/science/article/pii/0003484382900225<nowiki> Reflection and Partition Properties of Admissible Ordinals] (1980). Accessed 7 September 2022.</nowiki></ref><sup>(p.218)</sup> |
|||
* The least nonprojectible ordinal<ref name=":0" /><sup>(p.5)</sup> |
|||
* The least \( \Sigma_2 \)-admissible ordinal<ref name=":0" /><sup>(pp.5-6)</sup> = least ordinal \( \Pi_3 \)-reflecting on class of stable ordinals below<ref name=":2" /><sup>(p.221)</sup> |
|||
* HIGHER STABILITY STUFF GOES HERE<sup>(sort out)</sup> |
* HIGHER STABILITY STUFF GOES HERE<sup>(sort out)</sup> |
||
* [[Infinite_time_Turing_machine|Infinite time Turing machine]] ordinals |
* [[Infinite_time_Turing_machine|Infinite time Turing machine]] ordinals |
||