Skip to main content Accessibility help
×
×
Home

THE SET-THEORETIC MULTIVERSE

  • JOEL DAVID HAMKINS (a1)
Abstract

The multiverse view in set theory, introduced and argued for in this article, is the view that there are many distinct concepts of set, each instantiated in a corresponding set-theoretic universe. The universe view, in contrast, asserts that there is an absolute background set concept, with a corresponding absolute set-theoretic universe in which every set-theoretic question has a definite answer. The multiverse position, I argue, explains our experience with the enormous range of set-theoretic possibilities, a phenomenon that challenges the universe view. In particular, I argue that the continuum hypothesis is settled on the multiverse view by our extensive knowledge about how it behaves in the multiverse, and as a result it can no longer be settled in the manner formerly hoped for.

    • Send article to Kindle

      To send this article to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle.

      Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

      Find out more about the Kindle Personal Document Service.

      THE SET-THEORETIC MULTIVERSE
      Available formats
      ×
      Send article to Dropbox

      To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Dropbox.

      THE SET-THEORETIC MULTIVERSE
      Available formats
      ×
      Send article to Google Drive

      To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Google Drive.

      THE SET-THEORETIC MULTIVERSE
      Available formats
      ×
Copyright
Corresponding author
*DEPARTMENT OF PHILOSOPHY, NEW YORK UNIVERSITY, 5 WASHINGTON PLACE, NEW YORK, NY 10003, MATHEMATICS PROGRAM, THE GRADUATE CENTER OF THE CITY UNIVERSITY OF NEW YORK, 365 FIFTH AVENUE, NEW YORK, NY 10016, DEPARTMENT OF MATHEMATICS, THE COLLEGE OF STATEN ISLAND OF CUNY, STATEN ISLAND, NY 10314, E-mail: jhamkins@gc.cuny.edu, http://jdh.hamkins.org
References
Hide All
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. 529.
Cohen, P. J. (1963). The independence of the continuum hypothesis. Proceedings of the National Academy of Sciences of the United States of America, 50, 11431148.
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, 105110.
Cohen, P. J. (1966). Set theory and the continuum hypothesis. New York, NY: W. A. Benjamin, Inc.
Fuchs, G., Hamkins, J. D., & Reitz, J. (submitted). Set-theoretic geology. Submitted. Preprint available fromhttp://arxiv.org/abs/1107.4776.
Freiling, C. (1986). Axioms of symmetry: Throwing darts at the real number line. Journal of Symbolic Logic, 51(1), 190200.
Friedman, S.-D. (2006). Internal consistency and the inner model hypothesis. Bulletin of Symbolic Logic, 12(4), 591600.
Friedman, S.-D., Welch, P., & Woodin, W. H. (2008). On the consistency strength of the inner model hypothesis. Journal of Symbolic Logic, 73, 391400.
Gitman, V., & Hamkins, J. D. (2010). A natural model of the multiverse axioms. Notre Dame Journal of Formal Logic, 51(4), 475484.
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.
Hamkins, J. D. (2003a). Extensions with the approximation and cover properties have no new large cardinals. Fundamenta Mathematicae, 180(3), 257277.
Hamkins, J. D. (2003b). A simple maximality principle. Journal of Symbolic Logic, 68(2), 527550.
Hamkins, J. D. (2005). The ground axiom. Oberwolfach Report, 55, 31603162.
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. 3650.
Hamkins, J. D. (2009a). What are some reasonable-sounding statements that are independent of ZFC? MathOverflow. Available fromhttp://mathoverflow.net/questions/6594 (version: 2009-11-25).
Hamkins, J. D., Linetsky, D., & Reitz, J. (submitted). Pointwise definable models of set theory. Submitted. Preprint available fromhttp://arxiv.org/abs/1105.4597.
Hamkins, J. D., & Löwe, B. (2008). The modal logic of forcing. Transactions of the American Mathematical Society, 360, 17931817.
Hamkins, J. D., Reitz, J., & Woodin, W. H. (2008). The Ground Axiom is consistent with V ≠ HOD. Proceedings of the AMS, 136, 29432949.
Hamkins, J. D., & Seabold, D. (in preparation). Boolean ultrapowers.
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. 4557.
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.
Laver, R. (2007). Certain very large cardinals are not created in small forcing extensions. Annals of Pure and Applied Logic, 149(1–3), 16.
Luzin, N. N. (1935). Sur les ensembles analytiques nuls. Fundamenta Mathematicae, 25, 109131, 1935.
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. 134152.
Martin, D. A. (2001). Multiple universes of sets and indeterminate truth values. Topoi, 20(1), 516.
Peano, G. (1889). The principles of arithmetic, presented by a new method. pages pp. 83–97 in van Heijenoort, 1967.
Reitz, J. (2006). The Ground Axiom. PhD Thesis, The Graduate Center of the City University of New York.
Reitz, J. (2007). The Ground Axiom. Journal of Symbolic Logic, 72(4), 12991317.
Solovay, R. M. (1976). Provability interpretations of modal logic. Israel Journal of Mathematics, 25, 287304.
Solovay, R. M. (2010). Personal communication, October 31, 2010.
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.
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 fromhttp://math.berkeley.edu/steel/talks/laguna.ps.
van Heijenoort, J. (1967). From Frege to Gödel. A Source Book in Mathematical Logic, 1879–1931. Cambridge, MA: Harvard University Press.
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.
Zermelo, E. (1930). Über Grenzzahlen und Mengenbereiche. Neue Untersuchungen über die Grundlagen der Mengenlehre. (German). Fundumenta Mathematicae, 16, 2947.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Review of Symbolic Logic
  • ISSN: 1755-0203
  • EISSN: 1755-0211
  • URL: /core/journals/review-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed