Hilbert and Set Theory (1997)

Cached

Download Links

by Burton Dreben , Akihiro Kanamori

Active Bibliography

4 Hilbert’s Program Then and Now – Richard Zach - 2005
5 "Clarifying the Nature of the Infinite": the development of metamathematics and proof theory – Jeremy Avigad, Erich H. Reck - 2001
9 On the Arithmetical Content of Restricted Forms of Comprehension, Choice and General Uniform Boundedness – Ulrich Kohlenbach - 1997
1 PROOF INTERPRETATIONS AND MAJORIZABILITY – Fernando Ferreira
13 Elimination of Skolem functions for monotone formulas in analysis – Ulrich Kohlenbach
19 Higher Order Logic – Daniel Leivant - 1994
4 Boolean relation theory and . . . – Harvey M. Friedman - 2011
4 Gödel’s functional interpretation and its use in current mathematics – Ulrich Kohlenbach
Kurt Gödel, `Über formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme I' (1931) – Richard Zach
11 Types in logic and mathematics before 1940 – Fairouz Kamareddine, Twan Laan, Rob Nederpelt - 2002
11 Does Mathematics Need New Axioms? – Solomon Feferman - 1999
Arithmetic and the Incompleteness Theorems – Richard W. Kaye - 2000
3 A simple proof of Parsons' theorem – Fernando Ferreira
5 The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program – Richard Zach - 2001
3 Things that can and things that can't be done in PRA – Ulrich Kohlenbach - 1998
23 The Impact of the Lambda Calculus in Logic and Computer Science – Henk Barendregt, Jon Barwise, Johan Van Benthem, Andreas Blass, Olivier Danvy, Pierre Lescanne, Hans Mooij, Robert Maron, Rinus Plasmeijer, Y Pollack - 1997
2 Gödel's Dialectica interpretation and its two-way stretch – Solomon Feferman - 1997
Computability and analysis: the legacy of Alan Turing – Jeremy Avigad, Vasco Brattka - 2012
The impact of computers on the formalisation and study of language – Fairouz Kamareddine - 2005