Pages that link to "Item:Q1210137"
From MaRDI portal
The following pages link to Proof-theoretic investigations on Kruskal's theorem (Q1210137):
Displaying 10 items.
- Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions (Q5253934) (← links)
- Partial impredicativity in reverse mathematics (Q5300073) (← links)
- (Q5711887) (← links)
- Generalized fusible numbers and their ordinals (Q6050166) (← links)
- Well ordering principles for iterated \(\Pi^1_1\)-comprehension (Q6080077) (← links)
- Bachmann-Howard derivatives (Q6103503) (← links)
- Well-quasi-ordering and Embeddability of Relational Structures (Q6493759) (← links)
- A new model construction by making a detour via intuitionistic theories. IV: A closer connection between \(\mathrm{KP} \omega\) and \(\mathrm{BI}\). (Q6539428) (← links)
- Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal (Q6560988) (← links)
- Well partial orders (Q6612816) (← links)
