List of ordinals: Difference between revisions
Jump to navigation
Jump to search
Content added Content deleted
No edit summary |
No edit summary Tags: Mobile edit Mobile web edit |
||
Line 78: | Line 78: | ||
* Least \( \beta \) that starts gap of length \( \beta^\beta \)<ref name="Gaps" /> |
* Least \( \beta \) that starts gap of length \( \beta^\beta \)<ref name="Gaps" /> |
||
* Least \( \beta \) that starts gap of length \( \beta^+ \) - \(L_{\beta^+}\) here is a model of KP+"\( \omega_1 \) exists".<ref name=":0" /><sup>(p.6)</sup> <ref>T. Arai, [https://arxiv.org/abs/1102.0596 A Sneak Preview of Proof Theory of Ordinals] (1997, preprint, p.17). Accessed 7 September 2022.</ref> |
* Least \( \beta \) that starts gap of length \( \beta^+ \) - \(L_{\beta^+}\) here is a model of KP+"\( \omega_1 \) exists".<ref name=":0" /><sup>(p.6)</sup> <ref>T. Arai, [https://arxiv.org/abs/1102.0596 A Sneak Preview of Proof Theory of Ordinals] (1997, preprint, p.17). Accessed 7 September 2022.</ref> |
||
<!-- How large is the ordinal theta on page 74 of Hachtman's "Calibrating Determinacy Strength in Borel Hierarchies" (https://escholarship.org/content/qt6tk9351b/qt6tk9351b_noSplash_82b2a392eeaa5314b2f174d8d2ae832b.pdf)?--> |
|||
* Least start of third-order gap = least \(\beta\) such that \(L_\beta\) is a model of \( ZFC^- \)+"\( \beth_1 \) exists"<ref name=":0" /><sup>(p.6)</sup> |
* Least start of third-order gap = least \(\beta\) such that \(L_\beta\) is a model of \( ZFC^- \)+"\( \beth_1 \) exists"<ref name=":0" /><sup>(p.6)</sup> |
||
* <!--I would like to put "least start of fourth-order gap" here but my only source is a StackExchange answer--> |
* <!--I would like to put "least start of fourth-order gap" here but my only source is a StackExchange answer--> |