Pages that link to "Item:Q2125990"

The following pages link to Minimal bad sequences are necessary for a uniform Kruskal theorem (Q2125990):

Displaying 2 items.

• Well ordering principles for iterated \(\Pi^1_1\)-comprehension (Q6080077) (← links)
• Bachmann-Howard derivatives (Q6103503) (← links)