Pages that link to "Item:Q1210137"
From MaRDI portal
The following pages link to Proof-theoretic investigations on Kruskal's theorem (Q1210137):
Displaying 5 items.
- 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)
