Printed from https://ideas.repec.org/b/spr/sprbok/978-3-319-10103-3.html
My bibliography
Save this book
Gentzen's Centenary
Editor
- Reinhard Kahle(Universidade Nova de Lisboa, Departamento de Matemática, FCT)Michael Rathjen(University of Leeds, School of Mathematics)
Abstract
Individual chapters are listed in the "Chapters" tab
Suggested Citation
DOI: 10.1007/978-3-319-10103-3
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, 2015. "Gentzen’s Consistency Proof in Context," Springer Books, in: Reinhard Kahle & Michael Rathjen (ed.), Gentzen's Centenary, edition 1, pages 3-24, Springer.
- Michael Detlefsen, 2015. "Gentzen’s Anti-Formalist Views," Springer Books, in: Reinhard Kahle & Michael Rathjen (ed.), Gentzen's Centenary, edition 1, pages 25-44, Springer.
- Anton Setzer, 2015. "The Use of Trustworthy Principles in a Revised Hilbert’s Program," Springer Books, in: Reinhard Kahle & Michael Rathjen (ed.), Gentzen's Centenary, edition 1, pages 45-60, Springer.
- Wilfried Buchholz, 2015. "On Gentzen’s First Consistency Proof for Arithmetic," Springer Books, in: Reinhard Kahle & Michael Rathjen (ed.), Gentzen's Centenary, edition 1, pages 63-87, Springer.
- Jan von Plato, 2015. "From Hauptsatz to Hilfssatz," Springer Books, in: Reinhard Kahle & Michael Rathjen (ed.), Gentzen's Centenary, edition 1, pages 89-130, Springer.
- Dag Prawitz, 2015. "A Note on How to Extend Gentzen’s Second Consistency Proof to a Proof of Normalization for First Order Arithmetic," Springer Books, in: Reinhard Kahle & Michael Rathjen (ed.), Gentzen's Centenary, edition 1, pages 131-176, Springer.
- Annika Siders, 2015. "A Direct Gentzen-Style Consistency Proof for Heyting Arithmetic," Springer Books, in: Reinhard Kahle & Michael Rathjen (ed.), Gentzen's Centenary, edition 1, pages 177-211, Springer.
- W. W. Tait, 2015. "Gentzen’s Original Consistency Proof and the Bar Theorem," Springer Books, in: Reinhard Kahle & Michael Rathjen (ed.), Gentzen's Centenary, edition 1, pages 213-228, Springer.
- Michael Rathjen, 2015. "Goodstein’s Theorem Revisited," Springer Books, in: Reinhard Kahle & Michael Rathjen (ed.), Gentzen's Centenary, edition 1, pages 229-242, Springer.
- Sam Buss, 2015. "Cut Elimination In Situ," Springer Books, in: Reinhard Kahle & Michael Rathjen (ed.), Gentzen's Centenary, edition 1, pages 245-277, Springer.
- Fernando Ferreira, 2015. "Spector’s Proof of the Consistency of Analysis," Springer Books, in: Reinhard Kahle & Michael Rathjen (ed.), Gentzen's Centenary, edition 1, pages 279-300, Springer.
- Herman Ruge Jervell, 2015. "Climbing Mount $$\varepsilon _{0}$$," Springer Books, in: Reinhard Kahle & Michael Rathjen (ed.), Gentzen's Centenary, edition 1, pages 301-315, Springer.
- Wolfram Pohlers, 2015. "Semi-Formal Calculi and Their Applications," Springer Books, in: Reinhard Kahle & Michael Rathjen (ed.), Gentzen's Centenary, edition 1, pages 317-354, Springer.
- Toshiyasu Arai, 2015. "Proof Theory for Theories of Ordinals III: $$\Pi _{N}$$ -Reflection," Springer Books, in: Reinhard Kahle & Michael Rathjen (ed.), Gentzen's Centenary, edition 1, pages 357-424, Springer.
- Gerhard Jäger & Dieter Probst, 2015. "A Proof-Theoretic Analysis of Theories for Stratified Inductive Definitions," Springer Books, in: Reinhard Kahle & Michael Rathjen (ed.), Gentzen's Centenary, edition 1, pages 425-454, Springer.
- Frederik Meskens & Andreas Weiermann, 2015. "Classifying Phase Transition Thresholds for Goodstein Sequences and Hydra Games," Springer Books, in: Reinhard Kahle & Michael Rathjen (ed.), Gentzen's Centenary, edition 1, pages 455-478, Springer.
- Grigori Mints, 2015. "Non-deterministic Epsilon Substitution Method for PA and ID 1," Springer Books, in: Reinhard Kahle & Michael Rathjen (ed.), Gentzen's Centenary, edition 1, pages 479-500, Springer.
- Paulo Oliva & Thomas Powell, 2015. "A Game-Theoretic Computational Interpretation of Proofs in Classical Analysis," Springer Books, in: Reinhard Kahle & Michael Rathjen (ed.), Gentzen's Centenary, edition 1, pages 501-531, Springer.
- Michael Rathjen & Pedro Francisco Valencia Vizcaíno, 2015. "Well-Ordering Principles and Bar Induction," Springer Books, in: Reinhard Kahle & Michael Rathjen (ed.), Gentzen's Centenary, edition 1, pages 533-561, 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-319-10103-3. 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.