The Legacy of Kurt Schütte

Edited by Reinhard Kahle () and Michael Rathjen ()

in Springer Books from Springer

Date: 2020
ISBN: 978-3-030-49424-7
References: Add references at CitEc
Citations:

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

Chapters in this book:

Ch Chapter 1 “Sehr geehrter Herr Professor!” Proof Theory in 1949 in a Letter from Schütte to Bernays

Reinhard Kahle

Ch Chapter 10 The Limits of Predicativity Revisited

Wolfram Pohlers

Ch Chapter 11 A Note on (Meta)predicative Wellordering Proofs

Wilfried Buchholz

Ch Chapter 12 Well-ordering Principles, ω-models and $$ \varPi_{1}^{1} $$ -comprehension

Michael Rathjen and Ian Alexander Thomson

Ch Chapter 13 From Schütte’s Formal Systems to Modern Automated Deduction

Wolfgang Bibel and Jens Otten

Ch Chapter 14 Calculating Maximal Order Types for Finite Rooted Unstructured Labeled Trees

Diana Schmidt, Jeroen van der Meeren and Andreas Weiermann

Ch Chapter 15 Cut-Elimination for SBL

Toshiyasu Arai

Ch Chapter 16 An Upper Bound for the Proof-Theoretic Strength of Martin-Löf Type Theory with W-type and One Universe

A. Setzer

Ch Chapter 17 Normalization Proof for Derivations in PA after P. Cohen

Grigori Mints

Ch Chapter 18 From Probability Measures to Each Lévy Triplet and Back

Horst Osswald

Ch Chapter 19 On the Strength of the Uniform Fixed Point Principle in Intuitionistic Explicit Mathematics

Michael Rathjen and Sergei Tupailo

Ch Chapter 2 Kurt Schütte’s Way

Solomon Feferman

Ch Chapter 20 Foundations of Mathematics: an Optimistic Message

Stephen G. Simpson

Ch Chapter 21 A Glimpse of $$ \sum_{3} $$ -elementarity

Gunnar Wilken

Ch Chapter 22 Ein Wohlordnungsbeweis mit $$ \Delta^{1}_{2} $$ -Komprehension und Bar-Induktion

Kurt Schütte

Ch Chapter 23 Beziehungen des Ordinalzahlensystems OT(ϑ) zur Veblen-Hierarchie

Kurt Schütte

Ch Chapter 24 Zur Beweistheorie Von KPM

Kurt Schütte

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

Kurt Schütte

Ch Chapter 3 … and so on: Schütte on Naming Ordinals

John N. Crossley

Ch Chapter 4 Kurt Schütte

Curt Christian

Ch Chapter 5 Memories of Kurt Schütte and the logic group in Munich: A personal report

Wolfram Pohlers

Ch Chapter 6 Reminiscences of Kurt Schütte

Wolfgang Bibel

Ch Chapter 7 Mathematische Logik

Kurt Schütte and Helmut Schwichtenberg

Ch Chapter 8 Remarks on Hilbert’s Proof Theory

Kurt Schutte

Ch Chapter 9 Having a Look Again at Some Theories ofProof-Theoretic Strengths around $$ \varGamma_{0} $$

Michael Bärtschi and Gerhard Jäger

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:sprbok:978-3-030-49424-7

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

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

Access Statistics for this book

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