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
7 The art of ordinal analysis – Michael Rathjen - 2006
3 Boolean relation theory and . . . – Harvey M. Friedman - 2011
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
28 Finite functions and the necessary use of large cardinals – Harvey M. Friedman - 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
6 Forcing in Proof Theory – Jeremy Avigad - 2004
8 Universes in Explicit Mathematics – Gerhard Jäger, Reinhard Kahle, Thomas Studer - 1999
2 Transfer Principles in Set Theory – Harvey M. Friedman - 1997
3 Finite Trees And The Necessary Use Of Large Cardinals – By Harvey Friedman, Harvey M. Friedman - 1998
An Ordinal Representation System for ...-Comprehension and Related Systems – Michael Rathjen - 1995
2 The Higher Infinite in Proof Theory – Michael Rathjen - 1995