Presentation to the panel, “Does mathematics need new axioms?”

Cached

Download Links

by Solomon Feferman

Active Bibliography

11 Does Mathematics Need New Axioms? – Solomon Feferman - 1999
4 Boolean relation theory and . . . – Harvey M. Friedman - 2011
8 The Realm of Ordinal Analysis – Michael Rathjen - 1997
1 The Impact of the Incompleteness Theorems – On Mathematics, Solomon Feferman
Are There Absolutely Unsolvable Problems? Gödel’s Dichotomy – Solomon Feferman - 2006
3 Is the Continuum Hypothesis a definite mathematical problem? – Solomon Feferman
3 Does Reductive Proof Theory Have A Viable Rationale? – Solomon Feferman - 2000
8 Prospects for mathematical logic in the twenty-first century – Samuel R. Buss, Alexander S. Kechris, Anand Pillay, Richard A. Shore - 2002
By Harvey M. Friedman* Table of Contents Preface – unknown authors - 1998
2 Reflections on reflections in explicit mathematics – Gerhard Jäger, Thomas Strahm - 2005
12 Lectures on proof theory – Solomon Feferman - 1968
4 Realization of Constructive Set Theory into Explicit Mathematics: a lower bound for impredicative Mahlo universe – Sergei Tupailo - 2000
16 Gödel's program for new axioms: Why, where, how and what? – Solomon Feferman - 1996
The – Michael Rathjen
4. The Second Incompleteness Theorem. 5. Lengths of Proofs. – Harvey M. Friedman - 2007
6 Forcing in Proof Theory – Jeremy Avigad - 2004
8 Universes in Explicit Mathematics – Gerhard Jäger, Reinhard Kahle, Thomas Studer - 1999
3 Finite Trees And The Necessary Use Of Large Cardinals – By Harvey Friedman, Harvey M. Friedman - 1998
2 Transfer Principles in Set Theory – Harvey M. Friedman - 1997