Zur Beweistheorie von KP+ $$ \varPi_{3} $$ -Ref

Kurt Schütte
Additional contact information
Kurt Schütte: Mathematisches Institut, LMU

Chapter Chapter 25 in The Legacy of Kurt Schütte, 2020, pp 485-502 from Springer

Abstract: Abstract This article together with the foregoing on KPM belongs to the last two papers Schütte wrote on ordinal analysis. It is from 1992 and deals with the strongest system for which an ordinal analysis was available at the time: Kripke-Platek set theory with $$ \varPi_{3} $$ -reflection. A crucial tool is the stationary collapsing technique. Schütte sketches a modified treatment of the analysis given in Rathjen’s Habilitationschrift [1], later published as [2]. Schütte furnishes a very elegant treatment in his calculus of positive and negative forms, making direct use of structural inferences that are harder to engineer in a sequent calculus. Moreover, he achieves the operator control on derivations in a very economical way. Skizzierung einer modifizierten Fassung der beweistheoretischen Analyse von KP+ $$ \varPi_{3} $$ -Ref nach M. Rathjen. Die Beweise der hier zusammengestellten Lemmata sind, soweit sie nicht ausgeführt sind, entweder wohlbekannt oder der Habilitationsschrift [1] von M. Rathjen zu entnehmen.

Date: 2020
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-030-49424-7_25

Ordering information: This item can be ordered from
http://www.springer.com/9783030494247

DOI: 10.1007/978-3-030-49424-7_25

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().