Pages that link to "Item:Q912609"

The following pages link to On the recursive decomposition ordering with lexicographical status and other related orderings (Q912609):

Displaying 1 item.

• What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory (Q1182475) (← links)