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 21 items.
- Rao's degree sequence conjecture (Q401494) (← links)
- Well-quasi-order of relabel functions (Q603891) (← links)
- A well-quasi-order for tournaments (Q618033) (← links)
- On well-quasi-ordering finite structures with labels (Q912875) (← links)
- On better quasi-ordering countable trees (Q1063615) (← links)
- Erratum to ``What's so special about Kruskal's theorem and the ordinal \(\Gamma_0\)? A survey of some results in proof theory'' (Q1377628) (← links)
- The order type of the collection of finite series-parallel posets (Q1874362) (← links)
- The structure of infinite Friedman trees (Q1908484) (← 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 notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition (Q2402963) (← links)
- On well-quasi-ordering infinite trees---Nash-Williams's theorem revisited (Q2724997) (← 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)
- (Q4392751) (← links)
- Gap Embedding for Well-Quasi-Orderings (Q4924530) (← links)
- From Kruskal’s theorem to Friedman’s gap condition (Q4988429) (← links)
- Generalizing Kruskal's theorem to pairs of cohabitating trees (Q5964929) (← links)
- Well ordering principles for iterated \(\Pi^1_1\)-comprehension (Q6080077) (← links)
- Well partial orders (Q6612816) (← links)
