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 twentyfirst 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
