List of ordinals: Difference between revisions
Jump to navigation
Jump to search
no edit summary
No edit summary |
No edit summary Tags: Mobile edit Mobile web edit |
||
Line 78:
* 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>
<!-- 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>
* <!--I would like to put "least start of fourth-order gap" here but my only source is a StackExchange answer-->
| |||