Wie die Beweistheorie zu ihren Ordinalzahlen kam und kommt

zbMath0359.02024MaRDI QIDQ1238803

Georg Kreisel

Publication date: 1977

Published in: Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV) (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/146668

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15) Proof theory and constructive mathematics (03F99)

Related Items

Provability algebras and proof-theoretic ordinals. I, On elementary theories of ordinal notation systems based on reflection principles, A comparison of well-known ordinal notation systems for \(\varepsilon _{0}\), Deducibility and independence in Beklemishev's autonomous provability calculus, Proof Theoretic Analysis by Iterated Reflection, Provability logics for natural Turing progressions of arithmetical theories