Mathematical Proof Theory in the Light of Ordinal Analysis |
| |
| Authors: | Kahle Reinhard |
| |
| Affiliation: | (1) WSI, Universität Tübingen, Sand 13, D-72076 Tübingen, Germany |
| |
| Abstract: | 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. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
