Revision as of 06:36, 18 January 2024 (edit) C7X (talk \| contribs) No edit summary ← Older edit		Revision as of 08:05, 18 January 2024 (edit) (undo) C7X (talk \| contribs) (Possible better searchability) Newer edit →
Line 81: * <!--I would like to put "least start of fourth-order gap" here but my only source is a StackExchange answer--> * Least height of model of ZFC<ref name=":0" /><sup>(p.6)</sup> * Least stable ordinal<ref name=":0" /><sup>(p.6)</sup><ref name="SpectrumOfL">W. Marek, K. Rasmussen, [http://pldml.icm.edu.pl/pldml/element/bwmeta1.element.zamlynska-1afccedc-bd3e-45b8-a2f9-3cbb4c6000bb/c/rm21101.pdf Spectrum of L] </ref><sup>(p.9)</sup>, this is a limit of gap ordinals<ref name="beta2Models">W. Marek, [http://matwbn.icm.edu.pl/ksiazki/fm/fm82/fm82112.pdf Stable sets, a characterization of ~~\( \beta_2 \)~~β₂-models of full second order arithmetic and some related facts] (1974, Fundamenta Mathematicae 82(2), pp.175-189). Accessed 7 September 2022.</ref>, this equals the supremum of the \(\Sigma^1_2\)-soundness ordinals of recursively enumerable \(\Sigma^1_2\)-sound extensions of \(\mathrm{ACA}_0\)<ref name="Pi12Consequences" /><sup>p.23</sup> * Least stable ordinal that's also during a gap - height of least \( \beta_2 \)-model of \( Z_2 \)<ref name="beta2Models" /> * 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>

List of ordinals: Difference between revisions

List of ordinals (edit)