Pages that link to "Item:Q2862108"
From MaRDI portal
The following pages link to \(\Pi_1^0\)-ordinal analysis beyond first-order arithmetic (Q2862108):
Displaying 5 items.
- On elementary theories of ordinal notation systems based on reflection principles (Q281010) (← links)
- The omega-rule interpretation of transfinite provability logic (Q1694812) (← links)
- A comparison of well-known ordinal notation systems for \(\varepsilon _{0}\) (Q2370371) (← links)
- MÜNCHHAUSEN PROVABILITY (Q5015723) (← links)
- PREDICATIVITY THROUGH TRANSFINITE REFLECTION (Q5359565) (← links)