Does Mathematics Need New Axioms? (1999)

Cached

Download Links

by Solomon Feferman
Venue:American Mathematical Monthly
Citations:11 - 2 self

Active Bibliography

4 Boolean relation theory and . . . – Harvey M. Friedman - 2011
Hilbert and Set Theory – Burton Dreben , Akihiro Kanamori - 1997
4. The Second Incompleteness Theorem. 5. Lengths of Proofs. – Harvey M. Friedman - 2007
8 The Mathematical Development Of Set Theory - From Cantor To Cohen – Akihiro Kanamori - 1996
By Harvey M. Friedman* Table of Contents Preface – unknown authors - 1998
1 The Category Of Inner Models – Peter Koepke - 1999
3 Is the Continuum Hypothesis a definite mathematical problem? – Solomon Feferman
8 The Realm of Ordinal Analysis – Michael Rathjen - 1997
19 Higher Order Logic – Daniel Leivant - 1994
Gödel’s Incompleteness Theorems – Guram Bezhanishvili
On the Use of Impredicative Reasoning to Construct a Class of Partial Models of ZF Within ZF PRELIMINARY UNPUBLISHED DRAFT – Bryan Ford - 2008
Presentation to the panel, “Does mathematics need new axioms?” – Solomon Feferman
17 Number theory and elementary arithmetic – Jeremy Avigad - 2003
The development of programs for the foundations of mathematics in the first third of the 20th century – Solomon Feferman
The Mathematical Infinite as a Matter of Method – Akihiro Kanamori - 2010
5 The Mathematical Import Of Zermelo's Well-Ordering Theorem – Akihiro Kanamori - 1997
3 Large Cardinal Properties of Small Cardinals – James Cummings - 1998
1 Brief introduction to unprovability – Andrey Bovykin
1 Abstract Computerizing Mathematical Text with – Fairouz Kamareddine, J. B. Wells