The set-theoretic multiverse

Review of Symbolic Logic

Volumn 5, Issue 3, 2012, Pages 416-449

  Hamkins, Joel David ^a,b,c  

^a NEW YORK UNIVERSITY   (United States)

^b CITY UNIVERSITY OF NEW YORK   (United States)

^c CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84866124588     PISSN: 17550203     EISSN: 17550211     Source Type: Journal    
DOI: 10.1017/S1755020311000359     Document Type: Conference Paper

References (35)

1. Blass, A. (1984). The interaction between category theory and set theory. In Mathematical Applications of Category Theory (Denver, Col., 1983), Vol. 30 of Contemp. Math. Providence, RI: Amer. Math. Soc., pp. 5-29.
2. Cohen, P. J. (1963). The independence of the continuum hypothesis. Proceedings of the National Academy of Sciences of the United States of America, 50, 1143-1148.
3. Cohen, P. J. (1964). The independence of the continuum hypothesis II. Proceedings of the National Academy of Sciences of the United States of America, 51, 105-110.
4. Cohen, P. J. (1966). Set theory and the continuum hypothesis. New York, NY: W. A. Benjamin, Inc.
5. Fuchs, G., Hamkins, J. D., & Reitz, J. (submitted). Set-theoretic geology. Submitted. Preprint available from http://arxiv.org/abs/1107.4776.
6. Freiling, C. (1986). Axioms of symmetry: Throwing darts at the real number line. Journal of Symbolic Logic, 51(1), 190-200.
7. Friedman, S.-D. (2006). Internal consistency and the inner model hypothesis. Bulletin of Symbolic Logic, 12(4), 591-600. (Pubitemid 44917054)
8. Friedman, S.-D., Welch, P., & Woodin, W. H. (2008). On the consistency strength of the inner model hypothesis. Journal of Symbolic Logic, 73, 391-400.
9. Gitman, V., & Hamkins, J. D. (2010). A natural model of the multiverse axioms. Notre Dame Journal of Formal Logic, 51(4), 475-484.
10. Hamkins, J. D. (in press). The set-theoretical multiverse: A natural context for set theory. Annals of the Japan Association for Philosophy of Science. To appear.
11. Hamkins, J. D. (2003a). Extensions with the approximation and cover properties have no new large cardinals. Fundamenta Mathematicae, 180(3), 257-277. (Pubitemid 38516528)
12. Hamkins, J. D. (2003b). A simple maximality principle. Journal of Symbolic Logic, 68(2), 527-550. (Pubitemid 36714887)
13. Hamkins, J. D. (2005). The ground axiom. Oberwolfach Report, 55, 3160-3162.
14. Hamkins, J. D. (2009). Some second order set theory. In Ramanujam, R., and Sarukkai, S., editors. ICLA 2009, volume 5378 of LNAI. Amsterdam: Springer-Verlag, pp. 36-50.
15. Hamkins, J. D. (2009a). What are some reasonable-sounding statements that are independent of ZFC? MathOverflow. Available from http://mathoverflow.net/ questions/6594(version: 2009-11-25).
16. Hamkins, J. D., Linetsky, D., & Reitz, J. (submitted). Pointwise definable models of set theory. Submitted. Preprint available from http://arxiv.org/abs/1105.4597.
17. Hamkins, J. D., & Löwe, B. (2008). The modal logic of forcing. Transactions of the American Mathematical Society, 360, 1793-1817.
18. Hamkins, J. D., Reitz, J., & Woodin, W. H. (2008). The Ground Axiom is consistent with V = HOD. Proceedings of the AMS, 136, 2943-2949.
19. Hamkins, J. D., & Seabold, D. (in preparation). Boolean ultrapowers.
20. Krömer, R. (2001). Tarski's axiom of inaccessibles and Grothendieck universes - historical and critical remarks on the foundations of category theory. In Logic, Vol. 21 (Polish), Vol. 2312 of Acta Univ. Wratislav. Wrocław, Poland: Wydawn. Uniw. Wrocław., pp. 45-57.
21. Lakatos, I., editor. (1967). Problems in the Philosophy of Mathematics. Amsterdam: North- Holland Publishing Co. Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, vol. 1.
22. Laver, R. (2007). Certain very large cardinals are not created in small forcing extensions. Annals of Pure and Applied Logic, 149(1-3), 1-6.
23. Luzin, N. N. (1935). Sur les ensembles analytiques nuls. Fundamenta Mathematicae, 25, 109-131, 1935.
24. Maddy, P. (1998). V = L and Maximize. In Makowski, J. A., and Raave, E. V., editors. Logic Colloquium '95 Proceedings of ASL, Haifa, Isreal 1995. Berlin: Springer. pp. 134-152.
25. Martin, D. A. (2001). Multiple universes of sets and indeterminate truth values. Topoi, 20(1), 5-16.
26. Peano, G. (1889). The principles of arithmetic, presented by a new method. pages pp. 83- 97 in van Heijenoort, 1967.
27. Reitz, J. (2006). The Ground Axiom. PhD Thesis, The Graduate Center of the City University of New York.
28. Reitz, J. (2007). The Ground Axiom. Journal of Symbolic Logic, 72(4), 1299-1317.
29. Solovay, R. M. (1976). Provability interpretations of modal logic. Israel Journal of Mathematics, 25, 287-304.
30. Solovay, R. M. (2010). Personal communication, October 31, 2010.
31. Stavi, J., & Väänänen, J. (2003). Reflection principles for the continuum. In Zhang, Y., editor. Logic and Algebra, Vol. 302 of AMS Contemporary Mathematics Series. Providence, RI: American Mathematical Society.
32. Steel, J. R. (2004). Generic absoluteness and the continuum problem. Slides for a talk at the Laguna workshop on philosophy and the continuum problem (P. Maddy and D. Malament organizers) March, 2004. Available from http://math.berkeley.edu/steel/talks/laguna.ps.
33. van Heijenoort, J. (1967). From Frege to Gödel. A Source Book in Mathematical Logic, 1879-1931. Cambridge, MA: Harvard University Press.
34. Woodin, W. H. (2004). Recent development's on Cantor's Continuum Hypothesis. In Proceedings of the Continuum in Philosophy and Mathematics. Copenhagen, Denmark: Carlsberg Academy, November 2004.
35. Zermelo, E. (1930). Uber Grenzzahlen und Mengenbereiche. Neue Untersuchungen über die Grundlagen der Mengenlehre. (German). Fundumenta Mathematicae, 16, 29-47.