Pages that link to "Item:Q5752568"
From MaRDI portal
The following pages link to Generalizations of the one-dimensional version of the Kruskal-Friedman theorems (Q5752568):
Displayed 4 items.
- Systems of iterated projective ordinal notations and combinatorial statements about binary labeled trees (Q582289) (← links)
- Phase transitions of iterated Higman-style well-partial-orderings (Q661281) (← links)
- How to Compare Buchholz-Style Ordinal Notation Systems with Gordeev-Style Notation Systems (Q3195714) (← links)
- Strong WQO Tree Theorems (Q3295147) (← links)