Pages that link to "Item:Q1109029"

The following pages link to A new system of proof-theoretic ordinal functions (Q1109029):

Displaying 1 item.

• Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition (Q2402963) (← links)