Pages that link to "Item:Q1825201"
From MaRDI portal
The following pages link to Well-quasiordering finite trees with gap-condition. Proof of Harvey Friedman's conjecture (Q1825201):
Displaying 11 items.
- Rao's degree sequence conjecture (Q401494) (← links)
- Well-quasi-order of relabel functions (Q603891) (← links)
- A well-quasi-order for tournaments (Q618033) (← links)
- Well-quasi-ordering digraphs with no long alternating paths by the strong immersion relation (Q2099416) (← links)
- Well-partial-orderings and the big Veblen number (Q2257112) (← links)
- Ordinal arithmetic with simultaneously defined theta-functions (Q2996224) (← links)
- How to Compare Buchholz-Style Ordinal Notation Systems with Gordeev-Style Notation Systems (Q3195714) (← links)
- Strong WQO Tree Theorems (Q3295147) (← links)
- Gap Embedding for Well-Quasi-Orderings (Q4924530) (← links)
- From Kruskal’s theorem to Friedman’s gap condition (Q4988429) (← links)
- Well ordering principles for iterated \(\Pi^1_1\)-comprehension (Q6080077) (← links)
