The following pages link to (Q3496370):
Displaying 7 items.
- On well-quasi-ordering finite sequences (Q1120606) (← links)
- What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory (Q1182475) (← links)
- Well rewrite orderings and well quasi-orderings (Q1209622) (← links)
- Well-quasi-ordering and the Hausdorff quasi-uniformity (Q1295289) (← links)
- An order‐theoretic characterization of the Schütte‐Veblen‐Hierarchy (Q4304120) (← links)
- WELL ORDERING PRINCIPLES AND -STATEMENTS: A PILOT STUDY (Q5159496) (← links)
- An addition to "On defining well-orderings" (Q5596754) (← links)
