Pages that link to "Item:Q281010"
From MaRDI portal
The following pages link to On elementary theories of ordinal notation systems based on reflection principles (Q281010):
Displaying 5 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- \(\Pi_1^0\)-ordinal analysis beyond first-order arithmetic (Q2862108) (← links)
- (Q4944924) (← links)
- Reflection calculus and conservativity spectra (Q5377088) (← links)
- A SIMPLIFIED ORDINAL ANALYSIS OF FIRST-ORDER REFLECTION (Q5855753) (← links)