Pages that link to "Item:Q2776818"
From MaRDI portal
The following pages link to On the slowly well orderedness of \(\varepsilon_0\) (Q2776818):
Displaying 11 items.
- Phase transitions of iterated Higman-style well-partial-orderings (Q661281) (← links)
- Phase transitions for Gödel incompleteness (Q1006619) (← links)
- Classifying the phase transition threshold for Ackermannian functions (Q1012327) (← links)
- A comparison of well-known ordinal notation systems for \(\varepsilon _{0}\) (Q2370371) (← links)
- Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results (Q2566073) (← links)
- Relationship between Kanamori-McAloon Principle and Paris-Harrington Theorem (Q3576063) (← links)
- On a question of Andreas Weiermann (Q3619872) (← links)
- A Height Restricted Generation of a Set of Arithmetic Functions of Order‐Type ε<sub>0</sub> (Q3754003) (← links)
- Undefinability of <i>κ</i>-well-orderings in <i>L</i><sub>∞<i>κ</i></sub> (Q4372918) (← links)
- An application of graphical enumeration to PA * (Q4457723) (← links)
- 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03 (Q4678940) (← links)