Pages that link to "Item:Q1209622"

The following pages link to Well rewrite orderings and well quasi-orderings (Q1209622):

Displaying 2 items.

• Linearizing well quasi-orders and bounding the length of bad sequences (Q744984) (← links)
• What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory (Q1182475) (← links)