1. Reflecting on incompleteness;Feferman;Journal of Symbolic Logic,1991
2. K. Gödel, What is Cantor’s continuum problem? in: [4], Oxford University Press, 1947, pp. 176–187
3. K. Gödel, What is Cantor’s continuum problem? in: [4], Oxford University Press, 1964, pp. 254–270
4. Collected Works, Volume II Publications 1938–1974;Gödel,1990
5. P. Koellner, The search for new axioms, Ph.D. Thesis, MIT, 2003