, Volume 133, Issue 1, pp 237–255

Mathematical Proof Theory in the Light of Ordinal Analysis

  • Reinhard Kahle

DOI: 10.1023/A:1020892011851

Cite this article as:
Kahle, R. Synthese (2002) 133: 237. doi:10.1023/A:1020892011851


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.

Copyright information

© Kluwer Academic Publishers 2002

Authors and Affiliations

  • Reinhard Kahle
    • 1
  1. 1.WSI, Universität TübingenTübingenGermany