Gentzen's Centenary
Latest Publications

TOTAL DOCUMENTS

19

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer International Publishing

9783319101026, 9783319101033

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Spector’s Proof of the Consistency of Analysis

Gentzen's Centenary ◽

10.1007/978-3-319-10103-3_11 ◽

2015 ◽

pp. 279-300 ◽

Cited By ~ 1

Author(s):

Fernando Ferreira

Download Full-text

Goodstein’s Theorem Revisited

Gentzen's Centenary ◽

10.1007/978-3-319-10103-3_9 ◽

2015 ◽

pp. 229-242 ◽

Cited By ~ 3

Author(s):

Michael Rathjen

Download Full-text

Well-Ordering Principles and Bar Induction

Gentzen's Centenary ◽

10.1007/978-3-319-10103-3_19 ◽

2015 ◽

pp. 533-561 ◽

Cited By ~ 3

Author(s):

Michael Rathjen ◽

Pedro Francisco Valencia Vizcaíno

Download Full-text

Gentzen’s Anti-Formalist Views

Gentzen's Centenary ◽

10.1007/978-3-319-10103-3_2 ◽

2015 ◽

pp. 25-44 ◽

Cited By ~ 1

Author(s):

Michael Detlefsen

Download Full-text

On Gentzen’s First Consistency Proof for Arithmetic

Gentzen's Centenary ◽

10.1007/978-3-319-10103-3_4 ◽

2015 ◽

pp. 63-87 ◽

Cited By ~ 3

Author(s):

Wilfried Buchholz

Keyword(s):

Consistency Proof

Download Full-text

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

Gentzen's Centenary ◽

10.1007/978-3-319-10103-3_12 ◽

2015 ◽

pp. 301-315

Author(s):

Herman Ruge Jervell

Download Full-text

A Game-Theoretic Computational Interpretation of Proofs in Classical Analysis

Gentzen's Centenary ◽

10.1007/978-3-319-10103-3_18 ◽

2015 ◽

pp. 501-531 ◽

Cited By ~ 3

Author(s):

Paulo Oliva ◽

Thomas Powell

Keyword(s):

Classical Analysis ◽

Game Theoretic

Download Full-text

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

Gentzen's Centenary ◽

10.1007/978-3-319-10103-3_3 ◽

2015 ◽

pp. 45-60 ◽

Cited By ~ 1

Author(s):

Anton Setzer

Download Full-text

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

Gentzen's Centenary ◽

10.1007/978-3-319-10103-3_6 ◽

2015 ◽

pp. 131-176 ◽

Cited By ~ 1

Author(s):

Dag Prawitz

Keyword(s):

Consistency Proof ◽

First Order ◽

Order Arithmetic

Download Full-text

Gentzen’s Original Consistency Proof and the Bar Theorem

Gentzen's Centenary ◽

10.1007/978-3-319-10103-3_8 ◽

2015 ◽

pp. 213-228 ◽

Cited By ~ 5

Author(s):

W. W. Tait

Keyword(s):

Consistency Proof

Download Full-text