The following pages link to Natural well-orderings (Q3772212):
Displaying 11 items.
- Hyperations, Veblen progressions and transfinite iteration of ordinal functions (Q385073) (← links)
- What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory (Q1182475) (← links)
- Equational derivation vs. computation (Q1338198) (← links)
- Bounds for the closure ordinals of essentially monotonic increasing functions (Q3138020) (← links)
- How to Compare Buchholz-Style Ordinal Notation Systems with Gordeev-Style Notation Systems (Q3195714) (← links)
- A Survey on Ordinal Notations Around the Bachmann-Howard Ordinal (Q3305550) (← links)
- An order‐theoretic characterization of the Schütte‐Veblen‐Hierarchy (Q4304120) (← links)
- … and so on: Schütte on Naming Ordinals (Q5013893) (← links)
- Calculating Maximal Order Types for Finite Rooted Unstructured Labeled Trees (Q5013906) (← links)
- A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal (Q5214782) (← links)
- Well partial orders (Q6612816) (← links)
