The following pages link to Natural well-orderings (Q3772212):
Displayed 3 items.
- 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)