Skip to main content
SpringerLink
Log in

Multiverse Conceptions in Set Theory

  • Chapter
  • First Online:
The Hyperuniverse Project and Maximality

  • 535 Accesses

Abstract

We review different conceptions of the set-theoretic multiverse and evaluate their features and strengths. In Sect. 1, we set the stage by briefly discussing the opposition between the ‘universe view’ and the ‘multiverse view’. Furthermore, we propose to classify multiverse conceptions in terms of their adherence to some form of mathematical realism. In Sect. 2, we use this classification to review four major conceptions. Finally, in Sect. 3, we focus on the distinction between actualism and potentialism with regard to the universe of sets, then we discuss the Zermelian view, featuring a ‘vertical’ multiverse, and give special attention to this multiverse conception in light of the hyperuniverse programme introduced in Arrigoni-Friedman (Bull Symb Logic 19(1):77–96, 2013). We argue that the distinctive feature of the multiverse conception chosen for the hyperuniverse programme is its utility for finding new candidates for axioms of set theory.

Originally published in C. Antos, S.-D. Friedman, R. Honzik, C. Ternullo, Multiverse conceptions in set theory. Synthese 192(8), 2463–2488 (2015).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Notes

  1. 1.

    For the distinction and its conceptual relevance within the philosophy of mathematics, see Shapiro’s introduction to Shapiro [34] or Shapiro [33].

  2. 2.

    See, for instance, the following oft-quoted passage in his Cantor paper: “It is to be noted, however, that on the basis of the point of view here adopted [that is, the ‘platonistic conception’, our note], a proof of the undecidability of Cantor’s conjecture from the accepted axioms of set theory (in contradistinction, e.g., to the proof of the transcendency of π) would by no means solve the problem. For if the meaning of the primitive terms of set theory as explained on page 262 and in footnote 14 are accepted as sound, it follows that the set-theoretical concepts and theorems describe some well-determined reality in which Cantor’s conjecture must be either true or false” ([13], in [14], p. 260). For an account of the development of Gödel’s conceptions, see, for instance, Wang’s books [38, 39] and also van Atten-Kennedy [37].

  3. 3.

    For the full characterisation of Maddy’s ‘thin’ realist, see Maddy [27, 28]. A possible middle ground between a realist and a non-realist universe view has been described by Putnam in his [31]. A ‘moderate realist’, as featured there, would be someone who does not buy into full-blown platonism but who, at the same time, still believes to be able to find evidence in favour of some sort of ‘ultimate’ universe.

  4. 4.

    See, especially, Balaguer [2, 3].

  5. 5.

    Incidentally, it is not clear whether a realist in truth-value is best accommodated to the universe view. For instance, take Hauser, who seems to be only a realist in truth-value. He says: “At the outset mathematical propositions are treated as having determinate truth values, but no attempt is made to describe their truth by relying on a specific picture of mathematical objects. Instead one seeks to exhibit the truth or falsity of mathematical propositions by rational and reliable methods” [18, p. 266]. From this, it is far from clear that one single picture of sets would have to be found anyway, if not at the outset, at least in due course, presumably after the truth-value of such statements as CH has been reliably fixed. Hauser has also addressed truth-value realism and its conceptual emphasis on objectivity rather than on objects in Hauser [17]. See also Martin [29].

  6. 6.

    Hamkins epitomises this conception through the adoption of the naturalistic maxim ‘maximise’, by virtue of which one should not place “undue limitations on what universes might exist in the multiverse. This is simply a higher-order analogue of the same motivation underlying set-theorists’ ever more expansive vision of set theory. We want to imagine the multiverse as big as possible.” [16, p. 437].

  7. 7.

    ZF+ the negation of the Axiom of Choice.

  8. 8.

    Hamkins defines this interpretation of forcing ‘naturalist’, as opposed to the ‘original’ interpretation of forcing, whereby one starts the construction with a countable transitive ground model M and extends it to an M[G], by adding an M-generic filter G.

  9. 9.

    See Koellner [23], especially Sect. 2.

  10. 10.

    This is, for instance, Koellner’s line of attack in the aforementioned paper.

  11. 11.

    We say ‘mild’, as he seems to want to deny to be a fully committed (an ‘extreme’, in his words) formalist. He says: “..I reject also the extreme formalistic attitude which says that we just scribble symbols on paper or all consistent set theories are equal.” [35, p. 212].

  12. 12.

    These views have been stated by the author several times. See, in particular, Feferman [8, 10] and the more recent [9]. A careful response to Feferman’s concerns is in Hauser [18].

  13. 13.

    Details on these can also be found in Woodin [40].

  14. 14.

    For the definition of Woodin cardinals, see Kanamori [21, p. 360].

  15. 15.

    In fact, this result, as Steel clarifies, only holds for ‘natural’ theories, that is theories with ‘natural’ mathematical axioms, not quite like, for instance, the ‘Rosser sentence’.

  16. 16.

    For instance, Steel’s result on p. 7 only holds in \(L(\mathbb {R})\).

  17. 17.

    For more accurate mathematical details, we refer the reader to Steel’s cited paper.

  18. 18.

    A crucial reading on this is Hallett’s book on the emergence of the limitation of size doctrine [15]. The distinction between actualists and potentialists may be construed as the result of different interpretations of Cantor’s absolute infinite. One of the most exhaustive articles on Cantor’s conception of absoluteness and of its inherent tension between actualism and potentialism is Jané [20]. For a discussion of actualism and potentialism, with reference to the justification of reflection principles, see Koellner [22]. For an accurate overview of several potentialist positions, see Linnebo [26].

  19. 19.

    The distinction between ‘height’ and ‘width’ of the universe is firmly based on the iterative concept of set: the length of the ordinal sequence determines the height of the universe, while the width of the universe is given by the powerset operation.

  20. 20.

    Also Reinhardt’s theory of legitimate candidates (see Reinhardt [32]) seems to follow Zermelo’s account. Finally, Hellman (in [19]), develops a structuralist account of the universe in line with Zermelo’s concerns, but based on modal assumptions.

  21. 21.

    The proof is in Friedman et al. [12].

  22. 22.

    The use of the Löwenheim-Skolem theorem, while completely legitimate, is actually optional: if one wishes to analyse the outer models of V without ‘going countable’, one can do it by using the V -logic introduced below. However, there is a price to pay: instead of having the elegant clarity of countable models, one will just have to refer to different theories. This has analogies in forcing: to have an actual generic extension, one needs to start with a countable model; if the initial model is larger, one can still deal with forcing syntactically, but a generic extension may not exist (see, for instance, Kunen [25]). A more relevant analogy in our case is that the Omitting Types Theorem (which is behind V -logic) works for countable theories, but not necessarily for larger cardinalities.

  23. 23.

    Full mathematical details are in Barwise [4]. We wish to stress that the infinitary logic discussed in this section appears only at the level of theory as a tool for discussing outer models. The ambient axioms of ZFC are still formulated in the usual first-order language.

  24. 24.

    Again, for more details we refer the reader to Barwise [4].

  25. 25.

    This is in clear analogy to the treatment of set-forcing, see footnote 23. However, note that unlike in set-forcing, where the syntactical treatment can be formulated inside V , to capture arbitrary outer models, we need a bit more, i.e. Hyp(V ).

References

  1. T. Arrigoni, S. Friedman, The hyperuniverse program. Bull. Symb. Log. 19(1), 77–96 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  2. M. Balaguer, A platonist epistemology. Synthese 103, 303–25 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  3. M. Balaguer, Platonism and Anti-Platonism in Mathematics (Oxford University Press, Oxford, 1998)

    MATH  Google Scholar 

  4. J. Barwise, Admissible Sets and Structures (Springer, Berlin, 1975)

    Book  MATH  Google Scholar 

  5. M. Colyvan, E. Zalta, Review of Balaguer’s ‘Platonism and Anti-Platonism in Mathematics’. Philos. Math. 7, 336–349 (1999)

    Article  Google Scholar 

  6. H.G. Dales, G. Oliveri (eds.), Truth in Mathematics (Oxford University Press, Oxford, 1998)

    MATH  Google Scholar 

  7. W. Ewald (ed.), From Kant to Hilbert: A Source Book in the Foundations of Mathematics, vol. II (Oxford University Press, Oxford, 1996)

    MATH  Google Scholar 

  8. S. Feferman, Does mathematics need new axioms? Am. Math. Mon. 106, 99–111 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  9. S. Feferman, The Continuum Hypothesis is neither a definite mathematical problem or a definite logical problem, preprint (2014)

    Google Scholar 

  10. S. Feferman, P. Maddy, H. Friedman, J.R. Steel, Does mathematics need new axioms? Bull. Symb. Log. 6(4), 401–446 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  11. S. Friedman, R. Honzik, On strong forms of reflection in set theory. Math. Log. Quart. 62(1–2), 52–58 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  12. S. Friedman, P. Welch, W.H. Woodin, On the consistency strength of the Inner Model Hypothesis. J. Symb. Log. 73(2), 391–400 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  13. K. Gödel, What is Cantor’s continuum problem? Am. Math. Mon. 54, 515–525 (1947)

    Article  MathSciNet  MATH  Google Scholar 

  14. K. Gödel, Collected Works, II: Publications 1938–1974 (Oxford University Press, Oxford, 1990)

    MATH  Google Scholar 

  15. M. Hallett, Cantorian Set Theory and Limitation of Size (Clarendon Press, Oxford, 1984)

    MATH  Google Scholar 

  16. J.D. Hamkins, The set-theoretic multiverse. Rev. Symb. Log. 5(3), 416–449 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  17. K. Hauser. Objectivity over objects: a case study in theory formation. Synthèse 128(3), 245–285 (2001)

    Article  MATH  Google Scholar 

  18. K. Hauser, Is the continuum problem inherently vague? Philos. Math. 10, 257–285 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  19. G. Hellman, Mathematics without Numbers. Towards a Modal-Structural Interpretation (Clarendon Press, Oxford, 1989)

    Google Scholar 

  20. I. Jané, The role of the absolute infinite in Cantor’s conception of set. Erkenntnis 42, 375–402 (1995)

    Article  MathSciNet  Google Scholar 

  21. A. Kanamori, The Higher Infinite (Springer, Berlin, 2003)

    MATH  Google Scholar 

  22. P. Koellner, On reflection principles. Ann. Pure Appl. Log. 157(2–3), 206–219 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  23. P. Koellner, Truth in mathematics: the question of pluralism, in New Waves in the Philosophy of Mathematics, ed. by O. Bueno, Ø. Linnebo (Palgrave Macmillan, London/New York, 2009), pp. 80–116

    Chapter  Google Scholar 

  24. P. Koellner, Hamkins on the Multiverse, preprint (May 2013)

    Google Scholar 

  25. K. Kunen, Set Theory. An Introduction to Independence Proofs (College Publications, London, 2011)

    Google Scholar 

  26. Ø. Linnebo, The Potential Hierarchy of Sets. Rev. Symb. Log. 6(2), 205–228 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  27. P. Maddy, Naturalism in Mathematics (Oxford University Press, Oxford, 1997)

    MATH  Google Scholar 

  28. P. Maddy, Defending the Axioms (Oxford University Press, Oxford, 2011)

    Book  MATH  Google Scholar 

  29. D.A. Martin, Mathematical evidence, in Truth in Mathematics, ed. by H.G. Dales, G. Oliveri (Clarendon Press, Oxford, 1998), pp. 215–231

    Google Scholar 

  30. M. Potter, Set Theory and its Philosophy (Oxford University Press, Oxford, 2004)

    Book  MATH  Google Scholar 

  31. H. Putnam, Models and reality. J. Symb. Log. 45(3), 464–482 (1979)

    Article  MathSciNet  MATH  Google Scholar 

  32. W.N. Reinhardt, Remarks on reflection principles, large cardinals and elementary embeddings, in Proceedings of Symposia in Pure Mathematics, vol. XIII, 2, ed. by T. Jech (American Mathematical Society, Providence (Rhode Island), 1974)

    Google Scholar 

  33. S. Shapiro, Thinking About Mathematics (Oxford University Press, Oxford, 2000)

    MATH  Google Scholar 

  34. S. Shapiro (ed.), Oxford Handbook of Philosophy of Mathematics (Oxford University Press, Oxford, 2005)

    MATH  Google Scholar 

  35. S. Shelah, Logical dreams. Bull. Am. Math. Soc. 40(2), 203–228 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  36. J.R. Steel, Gödel’s program, in Interpreting Gödel. Critical Essays, ed. by J. Kennedy (Cambridge University Press, Cambridge, 2014), pp. 153–179

    Chapter  Google Scholar 

  37. M. van Atten, J. Kennedy, On the philosophical development of Kurt Gödel. Bull. Symb. Log. 9(4), 425–476 (2003)

    Article  MATH  Google Scholar 

  38. H. Wang, From Mathematics to Philosophy (Routledge & Kegan Paul, London, 1974)

    MATH  Google Scholar 

  39. H. Wang, A Logical Journey (MIT Press, Cambridge, MA, 1996)

    Google Scholar 

  40. W.H. Woodin, The realm of the infinite, in Infinity. New Research Frontiers, ed. by W.H. Woodin, M. Heller (Cambridge University Press, Cambridge, 2011), pp. 89–118

    Chapter  Google Scholar 

  41. W.H. Woodin, The transfinite universe, in Horizons of Truth. Kurt Gödel and the Foundations of Mathematics, ed. by M. Baaz, C.H. Papadimitriou, D.S. Scott, H. Putnam (Cambridge University Press, Cambridge, 2011), pp. 449–474

    Chapter  Google Scholar 

  42. E. Zermelo, Über Grenzzahlen und Mengenbereiche: neue Untersuchungen über die Grundlagen der Mengenlehre. Fundam. Math. 16, 29–47 (1930)

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. KGRC, Vienna, Austria

    Carolin Antos, Sy-David Friedman, Radek Honzik & Claudio Ternullo

  2. Charles University, Prague, Czech Republic

    Radek Honzik

Authors
  1. Carolin Antos
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sy-David Friedman
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Radek Honzik
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Claudio Ternullo
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Claudio Ternullo .

Editor information

Editors and Affiliations

  1. Zukunftskolleg, University of Konstanz, Konstanz, Germany

    Carolin Antos

  2. Kurt Gödel Research Center, University of Vienna, Vienna, Austria

    Sy-David Friedman

  3. Department of Logic, Charles University, Prague, Czech Republic

    Radek Honzik

  4. Kurt Gödel Research Center, University Wien, Wien, Austria

    Claudio Ternullo

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG

About this chapter

Cite this chapter

Antos, C., Friedman, SD., Honzik, R., Ternullo, C. (2018). Multiverse Conceptions in Set Theory. In: Antos, C., Friedman, SD., Honzik, R., Ternullo, C. (eds) The Hyperuniverse Project and Maximality. Birkhäuser, Cham. https://doi.org/10.1007/978-3-319-62935-3_3

Download citation

Publish with us

Policies and ethics

Search

Navigation