Pages that link to "Item:Q1032636"
From MaRDI portal
The following pages link to On Fraïssé's conjecture for linear orders of finite Hausdorff rank (Q1032636):
Displaying 12 items.
- The maximal linear extension theorem in second order arithmetic (Q634769) (← links)
- Equivalence between Fraïssé's conjecture and Jullien's theorem (Q2368905) (← links)
- The Veblen functions for computability theorists (Q3011121) (← links)
- Reverse Mathematics: The Playground of Logic (Q3163663) (← links)
- Open Questions in Reverse Mathematics (Q3174640) (← links)
- The Reverse Mathematics of wqos and bqos (Q3295152) (← links)
- On Ehrenfeucht-Fraïssé equivalence of linear orderings (Q3483267) (← links)
- On the Equimorphism Types of Linear Orderings (Q3594486) (← links)
- Fraïssé’s conjecture in Π11-comprehension (Q4596662) (← links)
- Laver and set theory (Q5964933) (← links)
- Euclidean algorithm for a class of linear orders (Q6056733) (← links)
- On the logical strength of the better quasi order with three elements (Q6135847) (← links)