List of ordinals: Difference between revisions
Jump to navigation
Jump to search
Content added Content deleted
(Some ordinals) |
(More) |
||
Line 32: | Line 32: | ||
* The least \( \Pi_n \)-reflecting ordinals, for \( 2<n<\omega \)<ref name=":1" /> |
* The least \( \Pi_n \)-reflecting ordinals, for \( 2<n<\omega \)<ref name=":1" /> |
||
* The least \( (+1) \)-stable ordinal<ref name=":0" /><sup>(p.4)</sup> |
* The least \( (+1) \)-stable ordinal<ref name=":0" /><sup>(p.4)</sup> |
||
⚫ | |||
* The least recursively |
|||
* The least ordinal that is \( \Pi^1_1 \)-reflecting on the \( \Pi^1_1 \)-reflecting ordinals<ref name="OrderOfReflection">J. P. Aguilera, [https://arxiv.org/pdf/1906.11769.pdf The Order of Reflection] (2019, arxiv preprint). Accessed 7 September 2022.</ref><!--An important ordinal to consider according to Taranovsky--> |
|||
⚫ | |||
* The least \( \Sigma^1_1 \)-reflecting ordinal = least non-Gandy ordinal<ref name="OrderOfReflection" /><sup>(pp.3,9)</sup><ref name=":0" /> |
|||
* The \( (\sigma^1_1)^n \)-reflecting ordinals for \( 1<n<\omega \)<!--iterated \( \Sigma^1_1 \)-reflection--><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> |
* The least nonprojectible ordinal<ref name=":0" /><sup>(p.5)</sup> |