On the question of absolute undecidability

Philosophia Mathematica

Volumn 14, Issue 2, 2006, Pages 153-188

  Koellner, Peter ^a  

^a HARVARD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33745619773     PISSN: 00318019     EISSN: 17446406     Source Type: Journal    
DOI: 10.1093/philmat/nkj009     Document Type: Article

References (62)

1. MM)', Annals of Pure and Applied Logic 59, 1-32.
2. Bagaria, J., N. Castells, and P. Larson [2005]: 'An Ω-logic primer', preprint.
3. Dehornoy, P. [2004]: 'Progrès récents sur l'hypothèse du continu (d'après Woodin)', Astérisque 294, viii, 147-172.
4. Feferman, S. [1960]: 'Arithmetization of metamathematics in a general setting', Fundamenta Mathematicae 49, 35-92.
5. Feferman, S. [1964]: 'Systems of predicative analysis', Journal of Symbolic Logic 29, 1-30.
6. Feferman, S. [1991]: 'Reflecting on incompleteness', Journal of Symbolic Logic 56, 1-49.
7. Feferman, S. [1999]: 'Does mathematics need new axioms?', American Mathematical Monthly, 106, 99-111.
8. Foreman, M. [1998]: 'Generic large cardinals: New axioms for mathematics?', in Proceedings of the International Congress of Mathematicians (Berlin, 1998). Vol. II. Documenta Mathematica, Extra Vol. II, pp. 11-21.
9. Foreman, M. [to appear]: 'Has the continuum hypothesis been settled?'.
10. Friedman, S. [to appear]: 'Stable axioms of set theory'.
11. Gödel, K. [*193?]: 'Undecidable diophantine propositions', in [Gödel, 1995], pp. 164-174.
12. Gödel, K. [*1931?]: 'On undecidable sentences', in [Gödel, 1995], pp. 31-35.
13. Gödel, K. [*1933o]: 'The present situation in the foundations of mathematics', in [Gödel, 1995], pp. 45-53.
14. Gödel, K. [*1939b]: 'Lecture at Göttingen', in [Gödel, 1995], pp. 127-155.
15. Gödel, K. [*1940a]: 'Lecture on the consistency of the continuum hypothesis', in [Gödel, 1995], pp. 175-185.
16. Gödel, K. [1944]: 'Russell's mathematical logic', in [Gödel, 1990], pp. 119-141.
17. Gödel, K. [1946]: 'Remarks before the Princeton bicentennial conference on problems in mathematics', in [Gödel, 1990], pp. 150-153.
18. Gödel, K. [*1951]: 'Some basic theorems on the foundations of mathematics and their implications', in [Gödel, 1995], pp. 304-323.
19. Gödel, K. [*1961/?]: 'The modern development of the foundations of mathematics in the light of philosophy', in [Gödel, 1995], pp. 375-387.
20. Gödel, K. [1964]: 'What is Cantor's continuum problem?', in [Gödel, 1990], pp. 254-270.
21. Gödel, K. [1986]: Collected Works, Volume I: Publications 1929-1936. New York and Oxford: Oxford University Press.
22. Gödel, K. [1990]: Collected Works, Volume II: Publications 1938-1974. New York and Oxford: Oxford University Press.
23. Gödel, K. [1995]: Collected Works, Volume III: Unpublished Essays and Lectures. New York and Oxford: Oxford University Press.
24. Gödel, K. [2003]: Collected Works, Volume IV: Correspondence A-G. New York and Oxford: Oxford University Press.
25. Hauser, Kai [2002]: 'Is Cantor's continuum problem inherently vague?', Philosophia Mathematica (3) 10, 257-285.
26. Jackson, S. [to appear]: 'Structural consequences of AD', in M. Foreman, A. Kanamori, and M. Magidor, eds. The Handbook of Set Theory. Berlin: Springer.
27. Jech, T. [2003]: Set Theory, Third Millennium ed. Berlin: Springer-Verlag.
28. Kanamori, A. [1997]: The Higher Infinite. Perspectives in Mathematical Logic. Berlin: Springer-Verlag.
29. Kennedy, J. C., and M. van Atten [2004]: 'Gödel's modernism: On set-theoretic incompleteness', [New School University] Graduate Faculty Philosophy Journal 25, No. 2, 289-349.
30. Koellner, P. [2003]: The Search for New Axioms. Ph. D. thesis. Cambridge, Mass.: MIT.
31. Koellner, P. [in preparation]: 'On principles of reflection and extension'.
32. Levy, A., and R. M. Solovay, [1967]: 'Measurable cardinals and the continuum hypothesis', Israel Journal of Mathematics, 5, 234-248.
33. Luzin, N. [1925]: 'Sur les ensembles projectifs de M. Henri Lebesgue', Comptes Rendus Hebdomadaires des Séances de l'Académie de Sciences, Paris 180, 1572-1574.
34. Maddy, P. [1988a]: 'Believing the axioms I', Journal of Symbolic Logic 53, 481-511.
35. Maddy, P. [1988b]: 'Believing the axioms II', Journal of Symbolic Logic 53, 736-764.
36. Maddy, P. [2005]: 'Mathematical existence', Bulletin of Symbolic Logic 11, 351-376.
37. Martin, D. [1980]: 'Infinite games', in O. Lehto, ed., Proceedings of the International Congress of Mathematicians (Helsinki 1978), Vol. 1. Helsinki: Academia Scientiarum Fennica, pp. 269-273.
38. Martin, D. [1998]: 'Mathematical evidence', in H. G. Dales and G. Oliveri, eds, Truth in Mathematics. Oxford: Clarendon Press, pp. 215-231.
39. Moschovakis, Y. N. [1980]: Descriptive Set Theory. Studies in Logic and the Foundations of Mathematics. Amsterdam: North-Holland.
40. Nelson, E. [1986]: Predicative Arithmetic. Princeton Mathematical Notes, No. 32. Princeton: Princeton University Press.
41. Parsons, C. [1995]: 'Platonism and mathematical intuition in Kurt Gödel's thought', Bulletin of Symbolic Logic 1, 44-74.
42. Parsons, C. [2000]: 'Reason and intuition', Synthese 125, 299-315.
43. Shelah, S. [2003]: 'Logical dreams', Bulletin of the American Mathematical Society (2) 40, 203-228.
44. Skolem, T. [1922]: 'Some remarks on axiomatizing set theory', in [van Heijenoort, 1967], pp. 291-301.
45. Steel, J. [2000]: 'Mathematics needs new axioms', Bulletin of Symbolic Logic 6, 422-433.
46. Steel, J. [2001]: 'Homogeneously Suslin sets', talk given at a conference in honor of D. A. Martin at University of California, Berkeley.
47. ℝ)', unpublished.
48. Steel, J. [2004]: 'Generic absoluteness and the continuum problem', talk given at the Laguna Workshop: Methodology of Pure and Applied Mathematics, March 5-7, 2004, Laguna Beach, California.
49. Tait, W. W. [1990]: 'The iterative hierarchy of sets', Iyyun 39, 65-79.
50. Tait, W. W. [1998]: 'Foundations of set theory', in H. Dales and G. Oliveri, eds, Truth in Mathematics. Oxford: Oxford University Press, pp. 273-290.
51. Tait, W. W. [2005a]: 'Constructing cardinals from below', in [Tait, 2005b], pp. 133-154.
52. Tait, W. W. [2005b]: The Provenance of Pure Reason: Essays in the Philosophy of Mathematics and Its History. Oxford: Oxford University Press.
53. Taylor, A. D. [1979]: 'Regularity properties of ideals and ultrafilters', Annals of Mathematical Logic 16, 33-55.
54. Väänänen, Jouko [2001]: 'Second-order logic and foundations of mathematics', Bulletin of Symbolic Logic 7, 504-520.
55. van Heijenoort, J. [1967]: From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931. Cambridge, Mass.: Harvard University Press.
56. Woodin, W. H. [1994]: 'Large cardinal axioms and independence: The continuum problem revisited', The Mathematical Intelligencer, 16, No. 3, 31-35.
57. Woodin, W. H. [1999]: The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal. de Gruyter Series in Logic and its Applications, Vol. 1. Berlin: De Gruyter.
58. Woodin, W. H. [2000]: 'Lectures on Ω-logic', Berkeley Set Theory Seminar.
59. Woodin, W. H. [2001a]: 'The continuum hypothesis, part I', Notices of the American Mathematical Society 48, 567-576.
60. Woodin, W. H. [2001b]: 'The continuum hypothesis, part II', Notices of the American Mathematical Society 48, 681-690.
61. Woodin, W. H. [2005a]: 'The continuum hypothesis', in R. Cori, A. Razborov, S. Todorĉević, and C. Wood, eds., Logic Colloquium 2000, Lecture Notes in Logic, Vol. 19. Wellesley, Mass.: Association of Symbolic Logic and A K Peters, pp. 143-197.
62. Woodin, W. H. [2005b]: Set theory after Russell: The journey back to Eden', in G. Link, ed., One Hundred Years Of Russell's Paradox: Mathematics, Logic, Philosophy. de Gruyter Series in Logic and Its Applications, Vol. 6. Berlin: De Gruyter, pp. 29-47.