List of ordinals: Difference between revisions
Jump to navigation
Jump to search
Content added Content deleted
(Projective determinacy, Σ^1_(n+2)-rfl. and Π^1_(n+2)-rfl.) |
No edit summary |
||
Line 85: | Line 85: | ||
* The least non-analytical ordinal. This is the least \( \alpha \) such that \( L_\alpha \prec L_{\omega_1} \).<ref name="SpectrumOfL" /><sup>(p.8)</sup> |
* The least non-analytical ordinal. This is the least \( \alpha \) such that \( L_\alpha \prec L_{\omega_1} \).<ref name="SpectrumOfL" /><sup>(p.8)</sup> |
||
The least ordinal \(\alpha\) so that \(\alpha\) is uncountable in \(L\) is equal to the least ordinal which starts a gap of length \(\omega_1\). If \(V = L\), then this is greater than all ordinals on this list and equal to \(\Omega\), while if \(0^\sharp\) exists it is ''significantly'' smaller than \(\omega_1\) and also smaller than the least \(\Pi^1_3\)-reflecting and \(\Sigma^1_3\)-reflecting ordinals<ref>J. P. Aguilera, C. B. Switzer, "[https://arxiv.org/abs/2311.12533v1 Reflection Properties of Ordinals in Generic Extensions]", p.18</ref>, however would still be greater than the least height of a model of KP+"\( \omega_1 \) exists". Also assuming projective determinacy, for |
The least ordinal \(\alpha\) so that \(\alpha\) is uncountable in \(L\) is equal to the least ordinal which starts a gap of length \(\omega_1\). If \(V = L\), then this is greater than all ordinals on this list and equal to \(\Omega\), while if \(0^\sharp\) exists it is ''significantly'' smaller than \(\omega_1\) and also smaller than the least \(\Pi^1_3\)-reflecting and \(\Sigma^1_3\)-reflecting ordinals<ref>J. P. Aguilera, C. B. Switzer, "[https://arxiv.org/abs/2311.12533v1 Reflection Properties of Ordinals in Generic Extensions]", p.18</ref>, however would still be greater than the least height of a model of KP+"\( \omega_1 \) exists". Also assuming projective determinacy, for \(\alpha<\omega_1^{M_n}\), \(\alpha\) is \(M_n\)-stable iff it is \(\Sigma^1_{n+2}\)-reflecting when \(n\) is even, and \(\Pi^1_{n+2}\)-reflecting when \(n\) is odd, \(M_n\) as in the extender model. <ref>J. P. Aguilera, "[https://www.dropbox.com/s/lrdm0wxscry7ehj/RLPO.pdf?dl=0 Recursively Large Projective Ordinals]", 2022. Accessed 19 January 2024.</ref><sup>Corollary 21</sup> <!--How large are the ordinals \(\sigma_{\Sigma_n,\omega_2}\) and \(\sigma_{\Pi_n,\omega_2}\) here, assuming 0# exists? https://arxiv.org/pdf/2311.12533v1.pdf#page=19--> |
||
== Uncountable ordinals == |
== Uncountable ordinals == |