List of ordinals: Difference between revisions
Justification
No edit summary |
(Justification) |
||
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 \( (\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 (next recursively inaccessible ordinal)-stable ordinal
* The least (next recursively Mahlo ordinal)-stable ordinal
| |||