Mathematical proof theory in the light of ordinal analysis (Q1868167)

The author presents a non-technical, introductory account of the present state of proof theory, centered about ordinal analysis. It gives a very good view of the ``landscape'', to beginners and outsiders, with an extensive bilbiography and guide to it. \textit{W. Pohler}'s article in Handbook of proof theory [Amsterdam: Elsevier. Stud. Logic. Found. Math. 137, 209--335 (1998; Zbl 0940.03066)] treats about the same area with much more advanced technology and details. And so, these two articles complement each other. The author talks about subsystems of analysis, admissible set theory, explicit mathematics, theories of inductive definitions, constructive set theory, and Martin-Löf's type theory. He provides ``A snapshot of the landscape'': a table of these theories and their proof-theoretic ordinals.