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

2015 ◽  
pp. 279-300 ◽  
Author(s):  
Fernando Ferreira

scholarly journals Goodstein’s Theorem Revisited

2015 ◽  
pp. 229-242 ◽  
Author(s):  
Michael Rathjen

scholarly journals Well-Ordering Principles and Bar Induction

2015 ◽  
pp. 533-561 ◽  
Author(s):  
Michael Rathjen ◽  
Pedro Francisco Valencia Vizcaíno

Gentzen’s Anti-Formalist Views

2015 ◽  
pp. 25-44 ◽  
Author(s):  
Michael Detlefsen

scholarly journals On Gentzen’s First Consistency Proof for Arithmetic

2015 ◽  
pp. 63-87 ◽  
Author(s):  
Wilfried Buchholz
Keyword(s):  
Consistency Proof

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

2015 ◽  
pp. 301-315
Author(s):  
Herman Ruge Jervell

scholarly journals A Game-Theoretic Computational Interpretation of Proofs in Classical Analysis

2015 ◽  
pp. 501-531 ◽  
Author(s):  
Paulo Oliva ◽  
Thomas Powell
Keyword(s):  
Classical Analysis ◽  
Game Theoretic

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

2015 ◽  
pp. 45-60 ◽  
Author(s):  
Anton Setzer

scholarly journals Gentzen’s Original Consistency Proof and the Bar Theorem

2015 ◽  
pp. 213-228 ◽  
Author(s):  
W. W. Tait
Keyword(s):  
Consistency Proof
Load More ...
Sign in / Sign up

Export Citation Format

Share Document