Pages that link to "Item:Q512137"
From MaRDI portal
The following pages link to An order-theoretic characterization of the Howard-Bachmann-hierarchy (Q512137):
Displaying 5 items.
- Minimal bad sequences are necessary for a uniform Kruskal theorem (Q2125990) (← links)
- A flexible type system for the small Veblen ordinal (Q2312096) (← links)
- Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition (Q2402963) (← links)
- PROOF-THEORETIC STRENGTHS OF WEAK THEORIES FOR POSITIVE INDUCTIVE DEFINITIONS (Q4692081) (← links)
- Bachmann-Howard derivatives (Q6103503) (← links)
