Pages that link to "Item:Q5855753"
From MaRDI portal
The following pages link to A SIMPLIFIED ORDINAL ANALYSIS OF FIRST-ORDER REFLECTION (Q5855753):
Displaying 5 items.
- Wellfoundedness proof with the maximal distinguished set (Q2700827) (← links)
- \(\Pi_1^0\)-ordinal analysis beyond first-order arithmetic (Q2862108) (← links)
- A Buchholz derivation system for the ordinal analysis of <b>KP</b> + Π<sub>3</sub>-reflection (Q3416113) (← links)
- REFLECTION RANKS AND ORDINAL ANALYSIS (Q5021919) (← links)
- THE ORDER OF REFLECTION (Q5021928) (← links)