Pages that link to "Item:Q1238803"
From MaRDI portal
The following pages link to Wie die Beweistheorie zu ihren Ordinalzahlen kam und kommt (Q1238803):
Displaying 6 items.
- On elementary theories of ordinal notation systems based on reflection principles (Q281010) (← links)
- Provability logics for natural Turing progressions of arithmetical theories (Q804564) (← links)
- Provability algebras and proof-theoretic ordinals. I (Q1877092) (← links)
- A comparison of well-known ordinal notation systems for \(\varepsilon _{0}\) (Q2370371) (← links)
- Deducibility and independence in Beklemishev's autonomous provability calculus (Q2672664) (← links)
- Proof Theoretic Analysis by Iterated Reflection (Q4637223) (← links)