Pages that link to "Item:Q4113808"

The following pages link to Normal functions and constructive ordinal notations (Q4113808):

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)