The following pages link to (Q5711893):
Displaying 13 items.
- Reverse mathematics, well-quasi-orders, and Noetherian spaces (Q283113) (← links)
- The maximal linear extension theorem in second order arithmetic (Q634769) (← links)
- On Fraïssé's conjecture for linear orders of finite Hausdorff rank (Q1032636) (← links)
- Extending partial orders to dense linear orders (Q1295404) (← links)
- Equivalence between Fraïssé's conjecture and Jullien's theorem (Q2368905) (← links)
- Some intuitionistic equivalents of classical principles for degree 2 formulas (Q2368911) (← links)
- Well, Better and In-Between (Q3295144) (← links)
- The Reverse Mathematics of wqos and bqos (Q3295152) (← links)
- Fraïssé’s conjecture in Π11-comprehension (Q4596662) (← links)
- THE BOREL COMPLEXITY OF ISOMORPHISM FOR O-MINIMAL THEORIES (Q4977215) (← links)
- REVERSE MATHEMATICS, YOUNG DIAGRAMS, AND THE ASCENDING CHAIN CONDITION (Q4977220) (← links)
- Laver and set theory (Q5964933) (← links)
- On the logical strength of the better quasi order with three elements (Q6135847) (← links)
