List of ordinals: Difference between revisions
Jump to navigation
Jump to search
More
(Some ordinals) |
(More) |
||
Line 32:
* 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 \( (^+) \)-stable ordinal = least \( \Pi^1_1 \)-reflecting ordinal<ref name=":0" /><sup>(p.4)</sup>▼
* 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 \( (^+) \)-stable ordinal<ref name=":0" /><sup>(p.4)</sup>
* 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 nonprojectible ordinal<ref name=":0" /><sup>(p.5)</sup>
| |||