Abstract
In recent years, one of the main thrusts of set-theoretic research has been the investigation of maximality principles for V, the universe of sets. The Hyperuniverse Programme (HP) has formulated several maximality principles, which express the maximality of V both in height and width. The paper provides an overview of the principles which have been investigated so far in the programme, as well as of the logical and model-theoretic tools which are needed to formulate them mathematically, and also briefly shows how optimal principles, among those available, may be selected in a justifiable way.
Similar content being viewed by others
Notes
As is known, V is recursively defined as follows: \(V_0={\emptyset }, V_{\alpha +1}={\mathcal {P}}(V_\alpha )\), where \(\alpha\) is a successor ordinal, and \(V_\lambda =\bigcup _{\alpha <\lambda } V_\alpha\), where \(\lambda\) is a limit ordinal.
For instance, see Gödel’s oft-quoted remark in Gödel (1947), pp. 478–479: ‘..I am thinking of an axiom which (similar to Hilbert’s completeness axiom in geometry) would state some maximum property of the system of all sets [...]. Note that only a maximum property would seem to harmonize with the concept of set [...]’. For a review of maximality principles in set theory, see Incurvati (2017).
At least, this is the form in which the principle can be stated if one subscribes to actualism (for which see Sect. 3 of this paper), a view that some scholars view as originating from Cantor’s conception of a maximal, inextensible absolute infinite (for which see, in particular, Cantor’s 1899 letter to Dedekind, in Ewald (1996), pp. 931–935), but the introduction of RP’s may also be justified using a potentialist conception of V (for which see, again, our section 3, or Tait (1998)). Incidentally, Gödel was also a major advocate of RP, to the point that he seems to have surmised that the axioms of set theory should be reduced to one single reflection axiom (see also Wang (1996), pp. 280–285, and Ternullo (2015), pp. 431–435).
A full account of such limitations is in Koellner (2009).
More specifically, Maddy’s argument is that, since \(V=L\) is inconsistent with the existence of \(0^{\#}\), then under ZFC+\(V=L\), there will be fewer isomorphism types in V. See Maddy, Maddy (1997), pp. 219–232. Recently, the alleged ‘restrictiveness’ of \(V=L\) has been challenged by Hamkins (2014), and further discussed by Incurvati and Löwe (2016).
Or any two other theories whose consistency strength is, at least, that of ZFC+LC’s.
Steel (2014), p. 159. But notice: this is true only up to the level of second-order arithmetic, that is, up to the level of \(\Pi ^{1}_{\omega }\) sentences.
See Steel (2014), pp. 158–160. A theory T is consistency stronger than a theory U if T proves Con(U). It should be noted that the theories addressed by Steel need to have at least the same consistency strength as that of ZFC\(+\)‘there are infinitely many Woodin cardinals’.
The topic is fully explored by one of the authors and Neil Barton in Barton and Friedman (2020).
Recall that an uncountable cardinal \(\kappa\) is inaccessible if and only if: (1) \(\kappa\) is regular (that is, its cofinality is \(\kappa\)) and (2) \(\kappa\) is a limit cardinal (that is, it is not the successor of any cardinal). \(\kappa\) is strongly inaccessible if, in addition, is: (3) strong limit, that is, if for all cardinals \(\lambda <\kappa\), \(2^\lambda <\kappa\).
However, we do not claim the preferability of the second-order axioms of set theory. What we, rather, claim here is the view that the ordinary first-order iterative concept of set is constrained by (and even derivable from) the second-order concept, in such a way as to imply that the first-order understanding of the extendibility of V should be seen as exclusively applying to the height of V itself.
See footnote 3.
Properties are often formulated using higher-order quantification. Let M be a class. We say that a variable x is 1-st order (or of order 1) if it ranges over elements of M. In general, we say that a variable R is \(n+1\)-st order (or of order \(n+1\)), \(0<n<\omega\), if it ranges over \({\mathcal {P}}^n(M)\), where \({\mathcal {P}}^n(M)\) denotes the result of applying the powerset operation n times to M. A formula \(\varphi\) is \(\Pi ^n_m\) if it starts with a block of universal quantifiers of variables of order \(n+1\), followed by existential quantification of variables of order \(n+1\), and these blocks alternate at most \(m-1\) times; the rest of the formula can contain variables of order at most \(n+1\), and quantifications over variables of order at most n. \(\Sigma ^n_m\) is obtained by switching the words universal and existential.
As an aside, it is worth noting that if formulated with third-order parameters, third-order reflection is in fact inconsistent! For instance, for a third-order parameter \({\mathcal {R}}\), i.e. a collection of classes, one is tempted by the following natural-looking principle:
Third-order Reflection If \(\varphi ({\mathcal R})\) is true in \((V,{{\mathcal {R}}})\), then for some \(\alpha\), \(\varphi (\bar{{\mathcal {R}}})\) is true in \((V_\alpha ,\bar{\mathcal R})\), where \(\bar{{\mathcal {R}}}=\{R\cap V_\alpha \mid R\in {\mathcal R}\}\).
But such a principle will fail if \({\mathcal {R}}\) consists of all bounded subsets of the ordinals (viewed as a collection of classes), and \(\varphi ({{\mathcal {R}}})\) simply says that each element of \({\mathcal {R}}\) is bounded in the ordinals. Therefore when discussing third-order reflection it is customary to only allow second-order, and not third-order, parameters.
See Section 2.2 of Friedman and Honzik (2016).
See Sect. 5.3.2
The proof is in Friedman and Honzik (2016), p. 11.
Note that IMH is also known to consistently hold for some choice of little-V. See Friedman et al. (2008).
For further on this analogy, see Barton and Friedman (2020).
V-logic is an extension (reformulation) of Barwise’s \({\mathfrak {M}}\)-logic, for which see Barwise (1975).
The completeness result for little-V-logic is equivalent to the completeness result for countable fragments of Barwise’s \({\mathfrak {M}}\)-logic. See Barwise (1975), p. 89.
See the paragraph immediately below Definition 1.
Weak \(\#\)-generation is indeed strictly weaker than \(\#\)-generation for countable models. Suppose that \(0^\#\) exists and choose \(\alpha\) to be least, so that \(\alpha\) is the \(\alpha\)-th Silver indiscernible (\(\alpha\) is countable). Now let g be generic over L for Lévy collapsing \(\alpha\) to \(\omega\). Then by Lévy absoluteness, \(L_\alpha\) is weakly \(\#\)-generated in L[g], but it cannot be \(\#\)-generated in L[g] as \(0^\#\) does not belong to a generic extension of L.
It should be noted that, although the hyperuniverse, introduced in Sect. 5.3, may be construed as a collection of mutually alternative ‘universes’ of set theory, and may thus qualify as a multiverse, in this paper we do not automatically subscribe to, or wish to defend, a multiversist view, since, as also explained in the present section, several ontological conceptions are compatible with HP’s maximality protocol. In fact, as stated in Sect. 5, the ‘reduction to the hyperuniverse’ can just be seen as a convenient way to address the expression of maximality principles semantically, rather than as a way of advocating the actual existence of a collection of mutually alternative universes of set theory. We thank one anonymous referee for prompting us to clarify this point.
For instance, take P to be the combination of a well-known axiom such as \(V=L\) and \(\#\)-generation. Suppose, however implausible it may seem, that one chose P as the ultimate, optimal maximality principle. One would, then, realise that such a principle would still be compatible with many universes of the form \(L_\alpha\), where \(\alpha\) is a limit of Silver indiscernibles. Notice, though, that the identification of P as an optimal maximality principle would, at least, narrow the range of universes of interest in the multiverse, as presumably only some universes will satisfy it.
References
Antos, C., Barton, N., & Friedman, S.-D. (2020). Universism and Extensions of \({V}\). Review of Symbolic Logic, forthcoming.
Antos, C., Friedman, S.-D., Honzik, R., & Ternullo, C. (2015). Multiverse conceptions in set theory. Synthese, 192(8), 2463–2488.
Arrigoni, T., & Friedman, S. (2013). The hyperuniverse program. Bulletin of Symbolic Logic, 19(1), 77–96.
Bagaria, J. (2005). Natural axioms of set theory and the continuum problem. In: Hájek, P., Valdés-Villanueva, L., and Westertåhl, D., (eds.,) Logic, Methodology and Philosophy of Science. In: Proceedings of the 12th International Congress, pages 43–64. King’s College Publications, London.
Barton, N., & Friedman, S.-D. (2020). Maximality and Ontology: How axiom content varies across philosophical frameworks. Synthese, 197, 623–649.
Barwise, J. (1975). Admissible Sets and Structures. Berlin: Springer.
Boolos, G. (1971). The iterative conception of set. Journal of Philosophy, 68(8), 215–231.
Ewald, W. (1996). From Kant to Hilbert: A Source Book in the Foundations of Mathematics. Oxford: Oxford University Press.
Friedman, S. (2006). Internal consistency and the inner model hypothesis. Bulletin of Symbolic Logic, 12(4), 591–600.
Friedman, S. (2016). Evidence for set-theoretic truth and the hyperuniverse programme. IfCoLog Journal of Logics and their Applications, 3(4), 517–555.
Friedman, S., & Honzik, R. (2016). On strong forms of reflection in set theory. Mathematical Logic Quarterly, 62(1–2), 52–58.
Friedman, S., Welch, P., & Woodin, W. H. (2008). On the consistency strength of the inner model hypothesis. Journal of Symbolic Logic, 73(2), 391–400.
Gödel, K. (1947). What is Cantor’s continuum problem? American Mathematical Monthly, 54, 515–525.
Gödel, K. (1964). What is Cantor’s continuum problem? In P. Benacerraf & H. Putnam (Eds.), Philosophy of Mathematics Selected Readings (pp. 470–85). New Jersey: Prentice-Hall.
Hamkins, J. D. (2014). A multiverse perspective on the axiom of constructiblity. In Infinity and Truth, volume 25 of Lect. Notes Ser. Inst. Math. Sci. Natl. Univ. Singap., pages 25–45. World Sci. Publ., Hackensack, NJ.
Hellman, G. (1989). Mathematics without Numbers Towards. A Modal-Structural Interpretation. Oxford: Clarendon Press.
Incurvati, L. (2017). Maximality principles in set theory. Philosophia Mathematica, 25(2), 159–193.
Incurvati, L., & Löwe, B. (2016). Restrictiveness relative to notions of interpretation. Review of Symbolic Logic, 9(2), 238–50.
Koellner, P. (2009). On reflection principles. Annals of Pure and Applied Logic, 157(2–3), 206–19.
Linnebo, Ø. (2013). The potential hierarchy of sets. Review of Symbolic Logic, 6(2), 205–228.
Linnebo, Ø. (2017). Philosophy of Mathematics. Princeton: Princeton University Press.
Maddy, P. (1988). Believing the axioms, I. Bulletin of Symbolic Logic, 53(2), 481–511.
Maddy, P. (1996). Set-theoretic naturalism. Bulletin of Symbolic Logic, 61(2), 490–514.
Maddy, P. (1997). Naturalism in Mathematics. Oxford: Oxford University Press.
Martin, D. (2001). Multiple universes of sets and indeterminate truth values. Topoi, 20, 5–16.
Parsons, C. (1983). What is the iterative conception of sets? In P. Benacerraf & H. Putnam (Eds.), Philosophy of Mathematics Selected Readings (pp. 503–529). Cambridge: Cambridge University Press.
Steel, J. (2014). Gödel’s program. In J. Kennedy (Ed.), Interpreting Gödel Critical Essays (pp. 153–179). Cambridge: Cambridge University Press.
Tait, W. W. (1998). Zermelo’s conception of set theory and reflection principles. In M. Schirn (Ed.), Philosophy of Mathematics Today (pp. 469–483). Oxford: Clarendon Press.
Ternullo, C. (2015). Gödel’s cantorianism. In G. Crocco & E.-M. Engelen (Eds.), Kurt Gödel: Philosopher-Scientist (pp. 413–442). Aix-en-Provence: Presses Universitaires de Provence.
Ternullo, C., & Friedman, S.-D. (2016). The search for new axioms in the hyperuniverse programme. In F. Boccuni & A. Sereni (Eds.), Philosophy of Mathematics: Objectivity, Realism and Proof Filmat Studies in the Philosophy of Mathematics, Boston Studies in Philosophy of Science (pp. 165–188). Berlin: Springer.
Wang, H. (1974). From Mathematics to Philosophy. London: Routledge & Kegan Paul.
Wang, H. (1996). A Logical Journey. Cambridge (MA): MIT Press.
Welch, P. (2019). Proving theorems from reflection. In S. Centrone, D. Kant, & D. Sarikaya (Eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory, and General Thoughts (pp. 79–97). Berlin: Springer.
Woodin, W. H. (2001). The Continuum Hypothesis. Notices of the American Mathematical Society, Part 1: 48, 6, p. 567–76; Part 2: 48, 7, p. 681–90.
Zermelo, E. (1930). Über Grenzzahlen und Mengenbereiche: neue Untersuchungen über die Grundlagen der Mengenlehre. Fundamenta Mathematicae, 16, 29–47.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
On behalf of all authors, the corresponding author states that there is no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The author would like to thank the FWF (Austrian Science Fund) for its support through the ‘Hyperuniverse Project’ (Grant P-28420).
The author wishes to thank the AGAUR for its support through the Beatriu de Pinós Post-Doctoral Fellowship 2018 BP 00192: ‘Mathematical and Philosophical Aspects of a Multiversist Foundation of Set Theory’.
Rights and permissions
About this article
Cite this article
Friedman, SD., Ternullo, C. Maximality Principles in the Hyperuniverse Programme. Found Sci 28, 287–305 (2023). https://doi.org/10.1007/s10699-020-09707-8
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10699-020-09707-8