Difference between revisions of "User:C7X/Some ordinals"

From Cantor's Attic
Jump to: navigation, search
(Created page with "Arranged in order of their size in a "reasonable" model. Brackets contain citations ω₁^CK - admissible - Π₂-rfl. [RichterAczel74] ω\_ω^CK - limit of the admissibles...")
 
 
(2 intermediate revisions by the same user not shown)
Line 1: Line 1:
 
Arranged in order of their size in a "reasonable" model. Brackets contain citations
 
Arranged in order of their size in a "reasonable" model. Brackets contain citations
  
ω₁^CK - admissible - Π₂-rfl. [RichterAczel74]
+
ω₁<sup>CK</sup> - admissible - Π₂-rfl. [RichterAczel74]
  
ω\_ω^CK - limit of the admissibles below it, not admissible [Zoo of ordinals]
+
ω<sub>ω</sub><sup>CK</sup> - limit of the admissibles below it, not admissible [Zoo of ordinals]
  
 
CK fixed point
 
CK fixed point
Line 9: Line 9:
 
Least rec. inacc. - admissible and limit of admissibles
 
Least rec. inacc. - admissible and limit of admissibles
  
Least rec. 1-inacc. (in Taranovsky's name, Madore calls this rec. hyper-inacc.)
+
Least rec. 1-inacc. (in Taranovsky's name, Madore calls this rec. hyper-inacc.)
  
 
Least rec. ω-inacc. - rec. n-inacc. for all n<ω
 
Least rec. ω-inacc. - rec. n-inacc. for all n<ω
  
Least rec. hyper-inacc. (α that is rec. α-inacc.) - Hyp\_cos says C(Z+*d*^C(Z\*2,0),0) in Taranovsky's notation behaves like this in collapse
+
Least rec. hyper-inacc. (α that is rec. α-inacc.) - Hyp_cos says C(Z+<i>d</i>^C(Z*2,0),0) in Taranovsky's notation behaves like this in collapse
  
Least rec. Mahlo - Π₂-rfl. on the set of Π₂-rfl. ordinals below it - Taranovsky says C(Z+*d*^2,0) behaves like this in collapse
+
Least rec. Mahlo - Π₂-rfl. on the set of Π₂-rfl. ordinals below it - Taranovsky says C(Z+<i>d</i><sup>2</sup>,0) behaves like this in collapse
  
Least rec. 1-Mahlo - Π₂-rfl. on the set of rec. Mahlos - Taranovsky says C(Z+*d*^3,0) behaves like this in collapse
+
Least rec. 1-Mahlo - Π₂-rfl. on the set of rec. Mahlos - Taranovsky says C(Z+<i>d</i><sup>3</sup>,0) behaves like this in collapse
  
Least rec. ω-Mahlo - rec. n-Mahlo for all n<ω - Taranovsky says C(Z+*d*^(ω+1),0)
+
Least rec. ω-Mahlo - rec. n-Mahlo for all n<ω - Taranovsky says C(Z+<i>d</i><sup>ω+1</sup>,0)
  
Least Π₃-rfl. - Taranovsky says C(Z+*d*^*d*,0) behaves like this in collapse
+
Least Π₃-rfl. - Taranovsky says C(Z+<i>d</i>^<i>d</i>,0) behaves like this in collapse
  
Least Π₂-rfl. on the set of Π₃-rfl. ordinals below - Taranovsky says C(Z+*d*^(*d*+1),0) - Madore says to watch out for this type of reflection and not miss its existence [https://bit.ly/3q88SY9]
+
Least Π₂-rfl. on the set of Π₃-rfl. ordinals below - Taranovsky says C(Z+<i>d</i><sup><i>d</i>+1</sup>,0) - Madore says to watch out for this type of reflection and not miss its existence [https://bit.ly/3q88SY9]
  
Least Π₃-rfl. that's Π₂-rfl. on the Π₃-rfl.s - Taranovsky says C(Z+*d*^(*d*\*2),0)
+
Least Π₃-rfl. that's Π₂-rfl. on the Π₃-rfl.s - Taranovsky says C(Z+<i>d</i><sup><i>d</i>*2</sup>,0)
  
Least Π₃-rfl. on Π₃-rfl.s - Taranovsky says C(Z+*d*^(*d*^2),0) - Arai has studied this case, it relates to iterating thinning operators for reflection along lexicographic orderings [Arai2010]
+
Least Π₃-rfl. on Π₃-rfl.s - Taranovsky says C(Z+<i>d</i><sup><i>d</i><sup>2</sup></sup>,0) - Arai has studied this case, it relates to iterating thinning operators for reflection along lexicographic orderings [Arai2010]
  
Least "Π₃-rfl. on Π₃-rfl. on Π₃-rfl. on ..." (length ω) - Richter and Aczel proved we can iterate Π\_n-reflection quite far before reaching Π\_(n+1)-reflection [RichterAczel74] - Taranovsky says C(Z+*d*^*d*^(ω+1))
+
Least "Π₃-rfl. on Π₃-rfl. on Π₃-rfl. on ..." (length ω) - Richter and Aczel proved we can iterate Π<sub>n</sub>-reflection quite far before reaching Π<sub>n+1</sub>-reflection [RichterAczel74] - Taranovsky says C(Z+<i>d</i>^<i>d</i>^(ω+1))
  
Least Π₄-rfl. - Taranovsky says C(Z+*d*^*d*^*d*,0) - Duchhardt analyzed KP+Π₄-rfl. in 2008 and has an OCF collapsing this ordinal, IDK how it works
+
Least Π₄-rfl. - Taranovsky says C(Z+<i>d</i><sup><i>d</i><sup><i>d</i></sup></sup>,0) - Duchhardt analyzed KP+Π₄-rfl. in 2008 and has an OCF collapsing this ordinal, IDK how it works
  
Least Π₅-rfl. - Taranovsky says C(Z+*d*^*d*^*d*^*d*,0)
+
Least Π₅-rfl. - Taranovsky says C(Z+<i>d</i><sup><i>d</i><sup><i>d</i><sup><i>d</i></sup></sup></sup>,0)
  
Limit of "least Π\_n-rfl." for n<ω - Some important structure from here to the next ordinal
+
Limit of "least Π<sub>n</sub>-rfl." for n<ω - Some important structure from here to the next ordinal
  
Least (+1)-stb. - Π\_n-rfl. for all n<ω
+
Least (+1)-stb. - Π<sub>n</sub>-rfl. for all n<ω
  
Insert important ordinals from User:C7X/Stability list here
+
Least α that's Π₂-rfl. on {β∈α|β is α-stable}
  
Least α that's Π₂-rfl. on {β∈α|β is α-stable} - for some results about this see User:C7X/Stability
+
Least Σ₂-admissible - least α that's Π₃-rfl. on {β∈α|β is α-stable} [https://doi.org/10.1016/0003-4843(82)90022-5]
  
Least Σ₂-admissible - least α that's Π₃-rfl. on {β∈α|β is α-stable} [https://doi.org/10.1016/0003-4843(82)90022-5]
+
Least Σ₃-admissible - least α that's Π₄-rfl. on {β∈α|β is (α,2)-stable} [https://doi.org/10.1016/0003-4843(82)90022-5]
  
Least Σ₃-admissible - least α that's Π₄-rfl. on {β∈α|β is (α,2)-stable} [above source]
+
Least Σ₄-admissible - least α that's Π₅-rfl. on {β∈α|β is (α,3)-stable} [https://doi.org/10.1016/0003-4843(82)90022-5]
  
Least Σ₄-admissible - least α that's Π₅-rfl. on {β∈α|β is (α,3)-stable} [above]
+
Least gap ordinal - Σ<sub>n</sub>-admissible for all n<ω - least height of β-model of Z₂ - least height of model of ZFC⁻+"V=HC" [Gaps in the constructible universe]
 
+
Least gap ordinal - Σ\_n-admissible for all n<ω - least height of β-model of Z₂ - least height of model of ZFC⁻+"V=HC" [Gaps in the constructible universe]
+
  
 
/<u>!</u>\ I know less about the remaining structure /<u>!</u>\
 
/<u>!</u>\ I know less about the remaining structure /<u>!</u>\
Line 61: Line 59:
 
β that starts gap of length β⁺ - least height of model of KP+"ω₁ exists", this model satisfies "β is uncountable" [https://arxiv.org/abs/1102.0596]
 
β that starts gap of length β⁺ - least height of model of KP+"ω₁ exists", this model satisfies "β is uncountable" [https://arxiv.org/abs/1102.0596]
  
Least start of third-order gap - least height of model of ZFC⁻+"beth₁ exists"+"V=H\_beth₁" (we take image of P(ω) under bijection from P(ω) to beth₁ that exists by choice) [https://core.ac.uk/download/pdf/81133582.pdf]. If α is the previous ordinal this is >α⁺ [https://googology.wikia.org/wiki/Gap_ordinal#Relative_sizes]
+
Least start of third-order gap - least height of model of ZFC⁻+"beth₁ exists"+"V=H<sub>beth₁</sub>" (we take image of P(ω) under bijection from P(ω) to beth₁ that exists by choice) [https://core.ac.uk/download/pdf/81133582.pdf]. If α is the previous ordinal this is >α⁺ [https://googology.wikia.org/wiki/Gap_ordinal#Relative_sizes]
  
Least start of fourth-order gap - least height of model of ZFC⁻+"beth₂ exists"+"V=H\_beth₂" (same trick)? [Alluded to in above source]
+
Least start of fourth-order gap - least height of model of ZFC⁻+"beth₂ exists"+"V=H<sub>beth₂</sub>" (same trick)? [Alluded to in above source]
  
Least height of model of ZFC⁻+"beth\_ω exists"
+
Least height of model of ZFC⁻+"beth<sub>ω</sub> exists"
  
Least height of model of ZFC⁻+"beth\_ω₁ exists"
+
Least height of model of ZFC⁻+"beth<sub>ω₁</sub> exists"
  
 
Least height of model of ZFC⁻+"beth fixed point exists"
 
Least height of model of ZFC⁻+"beth fixed point exists"
Line 79: Line 77:
 
Least stable [Size informally mentioned by Taranovsky], this is a limit of gap ordinals [http://matwbn.icm.edu.pl/ksiazki/fm/fm82/fm82112.pdf]
 
Least stable [Size informally mentioned by Taranovsky], this is a limit of gap ordinals [http://matwbn.icm.edu.pl/ksiazki/fm/fm82/fm82112.pdf]
  
Least stable that's also during a gap - height of least β₂-model of Z₂ [http://matwbn.icm.edu.pl/ksiazki/fm/fm82/fm82112.pdf], if this ordinal is α then it's the αth stable ordinal [same paper]
+
Least stable that's also during a gap - height of least β₂-model of Z₂ [http://matwbn.icm.edu.pl/ksiazki/fm/fm82/fm82112.pdf], if this ordinal is α then it's the αth stable ordinal [http://matwbn.icm.edu.pl/ksiazki/fm/fm82/fm82112.pdf]
  
Past here is some stuff that Rathjen wrote a bit about, the ordinals α such that L\_α is Σ\_n-elementary-substructure of L when 1<n<ω. I hazard a guess that these are related to heights of β\_(n-1)-models of Z₂ [maybe http://matwbn.icm.edu.pl/ksiazki/fm/fm82/fm82112.pdf, by extending theorem 2.2?].
+
Past here is some stuff that Rathjen wrote a bit about, the ordinals α such that L<sub>α</sub> is Σ<sub>n</sub>-elementary-substructure of L when 1<n<ω. I hazard a guess that these are related to heights of β<sub>n-1</sub>-models of Z₂ [maybe http://matwbn.icm.edu.pl/ksiazki/fm/fm82/fm82112.pdf, by extending theorem 2.2?].
  
The least α such that L\_α is power-admissible should also be in this list at least as far down as Σ₂-admissible [http://matwbn.icm.edu.pl/ksiazki/fm/fm98/fm9818.pdf], but IDK where it is exactly
+
The least α such that L<sub>α</sub> is power-admissible should also be in this list at least as far down as Σ₂-admissible [http://matwbn.icm.edu.pl/ksiazki/fm/fm98/fm9818.pdf], but IDK where it is exactly

Latest revision as of 19:56, 4 December 2021

Arranged in order of their size in a "reasonable" model. Brackets contain citations

ω₁CK - admissible - Π₂-rfl. [RichterAczel74]

ωωCK - limit of the admissibles below it, not admissible [Zoo of ordinals]

CK fixed point

Least rec. inacc. - admissible and limit of admissibles

Least rec. 1-inacc. (in Taranovsky's name, Madore calls this rec. hyper-inacc.)

Least rec. ω-inacc. - rec. n-inacc. for all n<ω

Least rec. hyper-inacc. (α that is rec. α-inacc.) - Hyp_cos says C(Z+d^C(Z*2,0),0) in Taranovsky's notation behaves like this in collapse

Least rec. Mahlo - Π₂-rfl. on the set of Π₂-rfl. ordinals below it - Taranovsky says C(Z+d2,0) behaves like this in collapse

Least rec. 1-Mahlo - Π₂-rfl. on the set of rec. Mahlos - Taranovsky says C(Z+d3,0) behaves like this in collapse

Least rec. ω-Mahlo - rec. n-Mahlo for all n<ω - Taranovsky says C(Z+dω+1,0)

Least Π₃-rfl. - Taranovsky says C(Z+d^d,0) behaves like this in collapse

Least Π₂-rfl. on the set of Π₃-rfl. ordinals below - Taranovsky says C(Z+dd+1,0) - Madore says to watch out for this type of reflection and not miss its existence [1]

Least Π₃-rfl. that's Π₂-rfl. on the Π₃-rfl.s - Taranovsky says C(Z+dd*2,0)

Least Π₃-rfl. on Π₃-rfl.s - Taranovsky says C(Z+dd2,0) - Arai has studied this case, it relates to iterating thinning operators for reflection along lexicographic orderings [Arai2010]

Least "Π₃-rfl. on Π₃-rfl. on Π₃-rfl. on ..." (length ω) - Richter and Aczel proved we can iterate Πn-reflection quite far before reaching Πn+1-reflection [RichterAczel74] - Taranovsky says C(Z+d^d^(ω+1))

Least Π₄-rfl. - Taranovsky says C(Z+ddd,0) - Duchhardt analyzed KP+Π₄-rfl. in 2008 and has an OCF collapsing this ordinal, IDK how it works

Least Π₅-rfl. - Taranovsky says C(Z+dddd,0)

Limit of "least Πn-rfl." for n<ω - Some important structure from here to the next ordinal

Least (+1)-stb. - Πn-rfl. for all n<ω

Least α that's Π₂-rfl. on {β∈α|β is α-stable}

Least Σ₂-admissible - least α that's Π₃-rfl. on {β∈α|β is α-stable} [2]

Least Σ₃-admissible - least α that's Π₄-rfl. on {β∈α|β is (α,2)-stable} [3]

Least Σ₄-admissible - least α that's Π₅-rfl. on {β∈α|β is (α,3)-stable} [4]

Least gap ordinal - Σn-admissible for all n<ω - least height of β-model of Z₂ - least height of model of ZFC⁻+"V=HC" [Gaps in the constructible universe]

/!\ I know less about the remaining structure /!\

Least gap of length 2 - this is a limit of gap ordinals [5]

β that starts a gap of length β - exists according to https://core.ac.uk/download/pdf/81133582.pdf

β that starts gap of length β^β - exists and is mentioned in a corollary of https://core.ac.uk/download/pdf/81133582.pdf

β that starts gap of length β⁺ - least height of model of KP+"ω₁ exists", this model satisfies "β is uncountable" [6]

Least start of third-order gap - least height of model of ZFC⁻+"beth₁ exists"+"V=Hbeth₁" (we take image of P(ω) under bijection from P(ω) to beth₁ that exists by choice) [7]. If α is the previous ordinal this is >α⁺ [8]

Least start of fourth-order gap - least height of model of ZFC⁻+"beth₂ exists"+"V=Hbeth₂" (same trick)? [Alluded to in above source]

Least height of model of ZFC⁻+"bethω exists"

Least height of model of ZFC⁻+"bethω₁ exists"

Least height of model of ZFC⁻+"beth fixed point exists"

Least height of model of ZFC

Least height of model of ZFC+"inaccessible exists"

Least height of model of ZFC+"subtle exists" [Size informally mentioned by Taranovsky]

Least stable [Size informally mentioned by Taranovsky], this is a limit of gap ordinals [9]

Least stable that's also during a gap - height of least β₂-model of Z₂ [10], if this ordinal is α then it's the αth stable ordinal [11]

Past here is some stuff that Rathjen wrote a bit about, the ordinals α such that Lα is Σn-elementary-substructure of L when 1<n<ω. I hazard a guess that these are related to heights of βn-1-models of Z₂ [maybe http://matwbn.icm.edu.pl/ksiazki/fm/fm82/fm82112.pdf, by extending theorem 2.2?].

The least α such that Lα is power-admissible should also be in this list at least as far down as Σ₂-admissible [12], but IDK where it is exactly