37

What is cantor’s continuum problem
– K Gödel
 1947

34

Reflecting on Incompleteness
– S Feferman
 1991

53

A proof of projective determinacy
– D A Martin, J R Steel
 1989

18

A Logical Journey: From Godel to Philosophy
– H Wang
 1997

5

Remarks on reflection principles, large cardinals, and elementary embeddings
– W Reinhardt
 1974

15

Gesammelte Abhandlungen mathematischen und philosophischen Inhalts
– G Cantor
 1932

13

Platonism and Mathematical Intuition in Kurt Gödel's Thought
– Charles Parsons
 1995

4

On the question of absolute undecidability
– P Koellner
 2006

2

Foundations of set theory
– W W Tait
 1998

2

Reason and intuition
– Charles Parsons
 2000

5

The Provenance of Pure Reason
– W W Tait, 2005b

1

The search for new axioms
– P Koellner
 2003

1

Section 3 of Koellner (2006) and the references therein
– See

1

Sections 4 and 5 of Koellner (2006) and Koellner and Woodin (2008) for more on this topic
– See

1

Incompatible Ωcomplete theories
– P Woodin, H
 2008

1

The iterative hierarchy of sets
– W W Tait
 1990

1

Zermelo on the concept of set and reflection principles
– W W Tait
 1998

1

Constructing cardinals from below. In: Tait (2005b
– W W Tait, 2005a

1

Large sets
– H Wang
 1977
