Gap ordinal: Difference between revisions
Jump to navigation
Jump to search
Created page with "A gap ordinal is an ordinal \(\alpha\) such that \((L_{\alpha+1}\setminus L_\alpha)\cap\mathcal P(\omega)=\varnothing\).<ref name="MarekSrebrny73">W. Marek, M. Srebrny, "[https://www.sciencedirect.com/science/article/pii/0003484374900059 Gaps in the Constructible Universe]" (1973). Annals of Mathematical Logic vol. 6, pp.359--394.</ref><sup>p.364</sup> An ordinal \(\alpha\) is said to start a gap if \(\alpha\) is a gap ordinal but for all \(\beta<\alpha\), \((L_\alpha\se..."
(Created page with "A gap ordinal is an ordinal \(\alpha\) such that \((L_{\alpha+1}\setminus L_\alpha)\cap\mathcal P(\omega)=\varnothing\).<ref name="MarekSrebrny73">W. Marek, M. Srebrny, "[https://www.sciencedirect.com/science/article/pii/0003484374900059 Gaps in the Constructible Universe]" (1973). Annals of Mathematical Logic vol. 6, pp.359--394.</ref><sup>p.364</sup> An ordinal \(\alpha\) is said to start a gap if \(\alpha\) is a gap ordinal but for all \(\beta<\alpha\), \((L_\alpha\se...") |
(No difference)
|