Does Mathematics Need New Axioms? (1999)

Cached

Download Links

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

Active Bibliography

Hilbert and Set Theory – Burton Dreben , Akihiro Kanamori - 1997
7 The Mathematical Development Of Set Theory - From Cantor To Cohen – Akihiro Kanamori - 1996
The Category Of Inner Models – Peter Koepke - 1999
2 Is the Continuum Hypothesis a definite mathematical problem? – Solomon Feferman
5 The Realm of Ordinal Analysis – Michael Rathjen - 1997
16 Higher Order Logic – Daniel Leivant - 1994
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
By Harvey M. Friedman* Table of Contents Preface – unknown authors - 1998
5 The Mathematical Import Of Zermelo's Well-Ordering Theorem – Akihiro Kanamori - 1997
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
9 Number theory and elementary arithmetic – Jeremy Avigad - 2003
1 Brief introduction to unprovability – Andrey Bovykin
2 Why sets? – Andreas Blass, Yuri Gurevich - 2008
BERNAYS AND SET THEORY – Akihiro Kanamori, Heinz-dieter Ebbinghaus, Ulrich Felgner, Juliet Floyd, Wilfried Sieg, William Tait For
Academy of Sciences – Radek Honzík
MUECKENHEIM01PP.nb 1 Cantor’s Countability Concept Contradicted – W. Mueckenheim
Non-Standard Models of Arithmetic: a Philosophical and Historical perspective MSc Thesis (Afstudeerscriptie) – Nicola Di Giorgio - 2010