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