Gentzen's Centenary

Edited by Reinhard Kahle () and Michael Rathjen ()

in Springer Books from Springer

Date: 2015
Edition: 1st ed. 2015
ISBN: 978-3-319-10103-3
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:

Gentzen’s Consistency Proof in Context

Reinhard Kahle

Gentzen’s Anti-Formalist Views

Michael Detlefsen

The Use of Trustworthy Principles in a Revised Hilbert’s Program

Anton Setzer

On Gentzen’s First Consistency Proof for Arithmetic

Wilfried Buchholz

From Hauptsatz to Hilfssatz

Jan von Plato

A Note on How to Extend Gentzen’s Second Consistency Proof to a Proof of Normalization for First Order Arithmetic

Dag Prawitz

A Direct Gentzen-Style Consistency Proof for Heyting Arithmetic

Annika Siders

Gentzen’s Original Consistency Proof and the Bar Theorem

W. W. Tait

Goodstein’s Theorem Revisited

Michael Rathjen

Cut Elimination In Situ

Sam Buss

Spector’s Proof of the Consistency of Analysis

Fernando Ferreira

Climbing Mount $$\varepsilon _{0}$$

Herman Ruge Jervell

Semi-Formal Calculi and Their Applications

Wolfram Pohlers

Proof Theory for Theories of Ordinals III: $$\Pi _{N}$$ -Reflection

Toshiyasu Arai

A Proof-Theoretic Analysis of Theories for Stratified Inductive Definitions

Gerhard Jäger and Dieter Probst

Classifying Phase Transition Thresholds for Goodstein Sequences and Hydra Games

Frederik Meskens and Andreas Weiermann

Non-deterministic Epsilon Substitution Method for PA and ID 1

Grigori Mints

A Game-Theoretic Computational Interpretation of Proofs in Classical Analysis

Paulo Oliva and Thomas Powell

Well-Ordering Principles and Bar Induction

Michael Rathjen and Pedro Francisco Valencia Vizcaíno

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-319-10103-3

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

DOI: 10.1007/978-3-319-10103-3

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 ().