BERNAYS AND SET THEORY

Cached

Download Links

by Akihiro Kanamori

Active Bibliography

8 The Mathematical Development Of Set Theory - From Cantor To Cohen – Akihiro Kanamori - 1996
4 Hilbert’s Program Then and Now – Richard Zach - 2005
5 The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program – Richard Zach - 2001
5 "Clarifying the Nature of the Infinite": the development of metamathematics and proof theory – Jeremy Avigad, Erich H. Reck - 2001
Hilbert and Set Theory – Burton Dreben , Akihiro Kanamori - 1997
11 Does Mathematics Need New Axioms? – Solomon Feferman - 1999
JACQUES HERBRAND: LIFE, LOGIC, AND AUTOMATED DEDUCTION – Claus-peter Wirth, Jörg Siekmann, Christoph Benzmüller, Serge Autexier
5 The Mathematical Import Of Zermelo's Well-Ordering Theorem – Akihiro Kanamori - 1997
Gödel on Intuition and on Hilbert’s finitism – W. W. Tait
2 Remarks On Finitism – W. W. Tait - 2000
SET THEORY FOR CATEGORY THEORY – Michael A. Shulman - 810
5 Between Russell And Hilbert: Behmann On The Foundations Of Mathematics – Paolo Mancosu - 1999
1 The Category Of Inner Models – Peter Koepke - 1999
2 Natural Logicism via the Logic of Orderly Pairing by – Neil Tennant - 2008
6 Forcing in Proof Theory – Jeremy Avigad - 2004
FREGE’S NEW SCIENCE – Aldo Antonelli, Robert May - 2001
3 Hilbert’s “Verunglückter Beweis,” the first epsilon theorem and consistency proofs. History and Philosophy of Logic – Richard Zach
3 Gödel's Unpublished Papers on Foundations of Mathematics – W. W. Tait
MATHEMATICAL LOGIC: WHAT HAS IT DONE FOR THE PHILOSOPHY OF MATHEMATICS? – Carlo Cellucci