Pages that link to "Item:Q1825201"

The following pages link to Well-quasiordering finite trees with gap-condition. Proof of Harvey Friedman's conjecture (Q1825201):

Displaying 4 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 ordering principles for iterated \(\Pi^1_1\)-comprehension (Q6080077) (← links)