The following pages link to PREDICATIVE COLLAPSING PRINCIPLES (Q5107241):
Displaying 5 items.
- An order-theoretic characterization of the Howard-Bachmann-hierarchy (Q512137) (← links)
- Minimal bad sequences are necessary for a uniform Kruskal theorem (Q2125990) (← links)
- Ackermann and Goodstein go functorial (Q2234350) (← links)
- Well ordering principles for iterated \(\Pi^1_1\)-comprehension (Q6080077) (← links)
- Bachmann-Howard derivatives (Q6103503) (← links)