Repository | Journal | Volume | Articles

(2002) Synthese 133 (1-2).
We give an overview of recent results in ordinal analysis. Therefore,we discuss the different frameworks used in mathematical proof-theory, namely subsystem of analysis including reversemathematics, Kripke–Platek set theory, explicitmathematics, theories of inductive definitions,constructive set theory, and Martin-Löf’s typetheory.
Publication details
Full citation:
Kahle, R. (2002). Mathematical proof theory in the light of ordinal analysis. Synthese 133 (1-2), pp. 237-255.
This document is unfortunately not available for download at the moment.