The Legacy of Kurt Schütte
Editor
- Reinhard Kahle(Universidade Nova de Lisboa, Departamento de Matemática)Michael Rathjen(University of Leeds, School of Mathematics)
Abstract
Individual chapters are listed in the "Chapters" tab
Suggested Citation
DOI: 10.1007/978-3-030-49424-7
Download full text from publisher
To our knowledge, this item is not available for download. To find whether it is available, there are three options:1. Check below whether another version of this item is available online.
2. Check on the provider's web page whether it is in fact available.
3. Perform a for a similarly titled item that would be available.
Book Chapters
The following chapters of this book are listed in IDEAS- Reinhard Kahle, 2020. "“Sehr geehrter Herr Professor!” Proof Theory in 1949 in a Letter from Schütte to Bernays," Springer Books, in: Reinhard Kahle & Michael Rathjen (ed.), The Legacy of Kurt Schütte, chapter 0, pages 3-19, Springer.
- Solomon Feferman, 2020. "Kurt Schütte’s Way," Springer Books, in: Reinhard Kahle & Michael Rathjen (ed.), The Legacy of Kurt Schütte, chapter 0, pages 21-35, Springer.
- John N. Crossley, 2020. "… and so on: Schütte on Naming Ordinals," Springer Books, in: Reinhard Kahle & Michael Rathjen (ed.), The Legacy of Kurt Schütte, chapter 0, pages 37-46, Springer.
- Curt Christian, 2020. "Kurt Schütte," Springer Books, in: Reinhard Kahle & Michael Rathjen (ed.), The Legacy of Kurt Schütte, chapter 0, pages 47-52, Springer.
- Wolfram Pohlers, 2020. "Memories of Kurt Schütte and the logic group in Munich: A personal report," Springer Books, in: Reinhard Kahle & Michael Rathjen (ed.), The Legacy of Kurt Schütte, chapter 0, pages 55-61, Springer.
- Wolfgang Bibel, 2020. "Reminiscences of Kurt Schütte," Springer Books, in: Reinhard Kahle & Michael Rathjen (ed.), The Legacy of Kurt Schütte, chapter 0, pages 63-69, Springer.
- Kurt Schütte & Helmut Schwichtenberg, 2020. "Mathematische Logik," Springer Books, in: Reinhard Kahle & Michael Rathjen (ed.), The Legacy of Kurt Schütte, chapter 0, pages 71-91, Springer.
- Kurt Schutte, 2020. "Remarks on Hilbert’s Proof Theory," Springer Books, in: Reinhard Kahle & Michael Rathjen (ed.), The Legacy of Kurt Schütte, chapter 0, pages 93-98, Springer.
- Michael Bärtschi & Gerhard Jäger, 2020. "Having a Look Again at Some Theories ofProof-Theoretic Strengths around $$ \varGamma_{0} $$," Springer Books, in: Reinhard Kahle & Michael Rathjen (ed.), The Legacy of Kurt Schütte, chapter 0, pages 103-128, Springer.
- Wolfram Pohlers, 2020. "The Limits of Predicativity Revisited," Springer Books, in: Reinhard Kahle & Michael Rathjen (ed.), The Legacy of Kurt Schütte, chapter 0, pages 129-165, Springer.
- Wilfried Buchholz, 2020. "A Note on (Meta)predicative Wellordering Proofs," Springer Books, in: Reinhard Kahle & Michael Rathjen (ed.), The Legacy of Kurt Schütte, chapter 0, pages 167-170, Springer.
- Michael Rathjen & Ian Alexander Thomson, 2020. "Well-ordering Principles, ω-models and $$ \varPi_{1}^{1} $$ -comprehension," Springer Books, in: Reinhard Kahle & Michael Rathjen (ed.), The Legacy of Kurt Schütte, chapter 0, pages 171-215, Springer.
- Wolfgang Bibel & Jens Otten, 2020. "From Schütte’s Formal Systems to Modern Automated Deduction," Springer Books, in: Reinhard Kahle & Michael Rathjen (ed.), The Legacy of Kurt Schütte, chapter 0, pages 217-251, Springer.
- Diana Schmidt & Jeroen van der Meeren & Andreas Weiermann, 2020. "Calculating Maximal Order Types for Finite Rooted Unstructured Labeled Trees," Springer Books, in: Reinhard Kahle & Michael Rathjen (ed.), The Legacy of Kurt Schütte, chapter 0, pages 253-264, Springer.
- Toshiyasu Arai, 2020. "Cut-Elimination for SBL," Springer Books, in: Reinhard Kahle & Michael Rathjen (ed.), The Legacy of Kurt Schütte, chapter 0, pages 265-298, Springer.
- A. Setzer, 2020. "An Upper Bound for the Proof-Theoretic Strength of Martin-Löf Type Theory with W-type and One Universe," Springer Books, in: Reinhard Kahle & Michael Rathjen (ed.), The Legacy of Kurt Schütte, chapter 0, pages 299-343, Springer.
- Grigori Mints, 2020. "Normalization Proof for Derivations in PA after P. Cohen," Springer Books, in: Reinhard Kahle & Michael Rathjen (ed.), The Legacy of Kurt Schütte, chapter 0, pages 345-349, Springer.
- Horst Osswald, 2020. "From Probability Measures to Each Lévy Triplet and Back," Springer Books, in: Reinhard Kahle & Michael Rathjen (ed.), The Legacy of Kurt Schütte, chapter 0, pages 353-376, Springer.
- Michael Rathjen & Sergei Tupailo, 2020. "On the Strength of the Uniform Fixed Point Principle in Intuitionistic Explicit Mathematics," Springer Books, in: Reinhard Kahle & Michael Rathjen (ed.), The Legacy of Kurt Schütte, chapter 0, pages 377-399, Springer.
- Stephen G. Simpson, 2020. "Foundations of Mathematics: an Optimistic Message," Springer Books, in: Reinhard Kahle & Michael Rathjen (ed.), The Legacy of Kurt Schütte, chapter 0, pages 401-414, Springer.
- Gunnar Wilken, 2020. "A Glimpse of $$ \sum_{3} $$ -elementarity," Springer Books, in: Reinhard Kahle & Michael Rathjen (ed.), The Legacy of Kurt Schütte, chapter 0, pages 415-441, Springer.
- Kurt Schütte, 2020. "Ein Wohlordnungsbeweis mit $$ \Delta^{1}_{2} $$ -Komprehension und Bar-Induktion," Springer Books, in: Reinhard Kahle & Michael Rathjen (ed.), The Legacy of Kurt Schütte, chapter 0, pages 445-459, Springer.
- Kurt Schütte, 2020. "Beziehungen des Ordinalzahlensystems OT(ϑ) zur Veblen-Hierarchie," Springer Books, in: Reinhard Kahle & Michael Rathjen (ed.), The Legacy of Kurt Schütte, chapter 0, pages 461-469, Springer.
- Kurt Schütte, 2020. "Zur Beweistheorie Von KPM," Springer Books, in: Reinhard Kahle & Michael Rathjen (ed.), The Legacy of Kurt Schütte, chapter 0, pages 471-483, Springer.
- Kurt Schütte, 2020. "Zur Beweistheorie von KP+ $$ \varPi_{3} $$ -Ref," Springer Books, in: Reinhard Kahle & Michael Rathjen (ed.), The Legacy of Kurt Schütte, chapter 0, pages 485-502, Springer.
Corrections
All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:spr:sprbok:978-3-030-49424-7. See general information about how to correct material in RePEc.
If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.
We have no bibliographic references for this item. You can help adding them by using this form .
If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.
For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Sonal Shukla or Springer Nature Abstracting and Indexing (email available below). General contact details of provider: http://www.springer.com .
Please note that corrections may take a couple of weeks to filter through the various RePEc services.
Printed from https://ideas.repec.org/b/spr/sprbok/978-3-030-49424-7.html