The following pages link to (Q3837736):
Displaying 12 items.
- An order-theoretic characterization of the Howard-Bachmann-hierarchy (Q512137) (← links)
- On Fraïssé's conjecture for linear orders of finite Hausdorff rank (Q1032636) (← links)
- Minimal bad sequences are necessary for a uniform Kruskal theorem (Q2125990) (← links)
- Fundamental notions of analysis in subsystems of second-order arithmetic (Q2368910) (← links)
- The computational strength of matchings in countable graphs (Q2672158) (← links)
- The Reverse Mathematics of wqos and bqos (Q3295152) (← links)
- Fraïssé’s conjecture in Π11-comprehension (Q4596662) (← links)
- Formalizing Ordinal Partition Relations Using Isabelle/HOL (Q5094473) (← links)
- FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS (Q5159502) (← links)
- Well ordering principles for iterated \(\Pi^1_1\)-comprehension (Q6080077) (← links)
- Bachmann-Howard derivatives (Q6103503) (← links)
- (EXTRA)ORDINARY EQUIVALENCES WITH THE ASCENDING/DESCENDING SEQUENCE PRINCIPLE (Q6203557) (← links)
