The following pages link to (Q3972753):
Displaying 9 items.
- The maximal linear extension theorem in second order arithmetic (Q634769) (← links)
- On well-quasi-ordering finite structures with labels (Q912875) (← links)
- Analyzing Nash-Williams' partition theorem by means of ordinal types (Q1191918) (← links)
- On Ordinal Invariants in Well Quasi Orders and Finite Antichain Orders (Q3295145) (← links)
- Well Quasi-orderings and Roots of Polynomials in a Hahn Field (Q3295148) (← links)
- The Reverse Mathematics of wqos and bqos (Q3295152) (← links)
- An order‐theoretic characterization of the Schütte‐Veblen‐Hierarchy (Q4304120) (← links)
- The length of an intersection (Q5108104) (← links)
- Well partial orders (Q6612816) (← links)
