List of ordinals: Difference between revisions
Jump to navigation
Jump to search
Content added Content deleted
No edit summary |
(Justification) |
||
Line 54: | Line 54: | ||
* The least \( \Sigma^1_1 \)-reflecting ordinal = the least non-Gandy ordinal<ref name="OrderOfReflection" /><sup>(pp.3,9)</sup><ref name=":0" /> |
* The least \( \Sigma^1_1 \)-reflecting ordinal = the 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 \( (\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 |
* The least \( (^++1) \)-stable ordinal<ref name="OrderOfReflection" /><sup>Each class of \(\sigma^1_1)^n\)-rfl. ordinals is nonempty below this ordinal (p.20)</sup> |
||
* The least (next recursively inaccessible ordinal)-stable ordinal |
* The least (next recursively inaccessible ordinal)-stable ordinal |
||
* The least (next recursively Mahlo ordinal)-stable ordinal |
* The least (next recursively Mahlo ordinal)-stable ordinal |