
Hilbert and Set Theory
– Burton Dreben , Akihiro Kanamori
 1997


4. The Second Incompleteness Theorem. 5. Lengths of Proofs.
– Harvey M. Friedman
 2007

4

Gödel’s functional interpretation and its use in current mathematics
– Ulrich Kohlenbach

1

PROOF INTERPRETATIONS AND MAJORIZABILITY
– Fernando Ferreira


Computability and analysis: the legacy of Alan Turing
– Jeremy Avigad, Vasco Brattka
 2012

4

Turing Oracle Machines, Online Computing, and Three Displacements in Computability Theory
– Robert I. Soare
 2009


Arithmetic and the Incompleteness Theorems
– Richard W. Kaye
 2000

4

Hilbert’s Program Then and Now
– Richard Zach
 2005

13

Elimination of Skolem functions for monotone formulas in analysis
– Ulrich Kohlenbach

23

Correspondence between Operational and Denotational Semantics
– C. h. L. Ong
 1995

2

A most artistic package of a jumble of ideas
– Fernando Ferreira


WE HOLD THESE TRUTHS TO BE SELFEVIDENT: BUT WHAT DO WE MEAN BY THAT?
– Stewart Shapiro

5

The history and concept of computability
– Robert I. Soare
 1999

2

Hilbert’s epsilon as an operator of indefinite committed choice
– Clauspeter Wirth
 2006

3

On Characterizations of the Basic Feasible Functionals Part II
– Robert J. Irwin, et al.
 2002

5

The metamathematics of ergodic theory
– Jeremy Avigad
 2009

3

Gödel’s correspondence on proof theory and constructive mathematics
– W. W. Tait


Gödel on Intuition and on Hilbert’s finitism
– W. W. Tait

5

"Clarifying the Nature of the Infinite": the development of metamathematics and proof theory
– Jeremy Avigad, Erich H. Reck
 2001
