 Zur Beweistheorie Von KPMKurt Schütte
Chapter Chapter 24 in The Legacy of Kurt Schütte, 2020, pp 471-483 from Springer Abstract: Abstract This is the last paper on ordinal analysis that Schütte published himself. It is concerned with the calibration of the set theory KPM which formalizes a recursively Mahlo universe of sets. In an unpublished precursor [6], Schütte by and large followed Rathjen’s approach of [4, 5], except for the Schütte calculus setting and some technical changes. The treatment in [5] is very involved as it simultaneously uses two majorizing relations to control infinitary deductions. In the meantime Buchholz [3] presented a simpler analysis based on his operator controlled approach [2], though working with an ordinal representation system different from [4]. Schütte then modified both approaches in that he uses Rathjen’s ordinal representation system [4] with two kinds of collapsing functions but employs Buchholz’ operator controlled approach to carry out the cut elimination, albeit proceeding in two neatly separated steps pertaining to the two types of collapsing functions and working in his own proof system rather than in a sequent calculus. The paper was first published as [7]. We include it in this book since it is emblematic of Schütte’s Spätwerk and, of course, to make it more widely known. Date: 2020 There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it. Related works: Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-030-49424-7_24 Ordering information: This item can be ordered from DOI: 10.1007/978-3-030-49424-7_24 Access Statistics for this chapter More chapters in Springer Books from Springer |
Is your work missing from RePEc? Here is how to contribute.
Questions or problems? Check the EconPapers FAQ or send mail to .
EconPapers is hosted by the
School of Business at Örebro University.