Abstract
I discuss three potential sources of evidence for truth in set theory, coming from set theory’s roles as a branch of mathematics and as a foundation for mathematics as well as from the intrinsic maximality feature of the set concept. I predict that new non first-order axioms will be discovered for which there is evidence of all three types, and that these axioms will have significant first-order consequences which will be regarded as true statements of set theory. The bulk of the paper is concerned with the Hyperuniverse Programme, whose aim is to discover an optimal mathematical principle for expressing the maximality of the set-theoretic universe in height and width.
Originally published in S. Friedman, Evidence for set-theoretic truth and the Hyperuniverse Programme. IfCoLog J. Log. Appl. “Proof, Truth, Computation” 3(4), 517–555 (2016).
Notes
- 1.
For a discussion of this notion of derivability see the final Sect. 4.13.
- 2.
Woodin has in fact proposed such an axiom which he calls Ultimate L.
- 3.
For the experts, to get PFA one must allow non-transitive models of size ℵ 1.
- 4.
As a specific example, let \(\mathfrak a\) denote the least size of an infinite almost disjoint family of subsets of ω, and \(\mathfrak b\) (\(\mathfrak d\)) the least size of an unbounded (dominating) family of functions from ω to ω ordered by eventual domination. Then \({\mathfrak {b}} < {\mathfrak {a}} < {\mathfrak {d}}\) is consistent; shouldn’t it in fact be true?
- 5.
This is derivable once we add maximality to the iterative conception, but is convenient to assume already as part of the iterative conception.
- 6.
The set of ctm’s is called the Hyperuniverse; hence we arrive at the Hyperuniverse Programme.
- 7.
Height actualism with just GB (Gödel-Bernays) appears inadequate for a fruitful analysis of maximality. A referee has informed us about agnostic Platonism, the view that there is a well-determined universe V of all sets but without taking a position on whether ZFC holds in it. But as this perspective allows for the possibility of height actualism with just GB, it is problematic for the HP.
- 8.
These comments were made during a lively e-mail exchange among numerous set-theorists and philosophers of set theory from August until November 2014, triggered by my response to Sol Feferman’s preprint The Continuum Hypothesis is neither a definite mathematical problem nor a definite logical problem. Some of this discussion is documented at <http://logic.harvard.edu/blog/?cat=2>, but regrettably Hellman’s comments do not appear there.
- 9.
But I am not 100% sure that there could not be such an analogous iteration process, perhaps provided by a wildly successful theory of inner models for large cardinals.
- 10.
We thank one of the referees for pointing out that an earlier version of cardinal-maximality with a weaker parameter-absoluteness assumption is inconsistent. A similar phenomenon with weakly absolute parameters occurs in Theorem 10 of [18].
References
C. Antos, S. Friedman, R. Honzik, C. Ternullo, Multiverse conceptions in set theory. Synthèse 192(8), 2463–2488 (2015)
T. Arrigoni, S. Friedman, Foundational implications of the inner model hypothesis. Ann. Pure Appl. Logic 163, 1360–1366 (2012)
T. Arrigoni, S. Friedman, The hyperuniverse program. Bull. Symb. Log. 19(1), 77–96 (2013)
N. Barton, Multiversism and concepts of set: how much relativism is acceptable? in Objectivity, Realism, and Proof. FilMat Studies in the Philosophy of Mathematics, ed. by F. Boccuni, A. Sereni. Boston Studies in the Philosophy and History of Science (Springer, New York, 2016), pp. 189–209.
J. Barwise, Admissible Sets and Structures (Springer, Berlin, 1975)
A. Beller, R. Jensen, P.Welch, Coding the Universe (Cambridge University Press, Cambridge, 1982)
G.Boolos, The iterative conception of set. J. Philos. 68(8), 215–231 (1971)
J. Cummings, S. Friedman, M. Golshani, Collapsing the cardinals of HOD. J. Math. Log. 15(02), 1550007 (2015)
J. Cummings, S. Friedman, M. Magidor, A. Rinot, D. Sinapova, Definable subsets of singular cardinals. Israel J. Math. (to appear)
A. Dodd, The Core Model (Cambridge University Press, Cambridge, 1982)
S. Friedman, Fine Structure and Class Forcing (de Gruyter, Berlin, 2000)
S. Friedman, Internal consistency and the inner model hypothesis. Bull. Symb. Log. 12(4), 591–600 (2006)
S. Friedman, The stable core. Bull. Symb. Log. 18(2), 261–267 (2012)
S. Friedman, P. Holy, A quasi-lower bound on the consistency strength of PFA. Trans. AMS 366, 4021–4065 (2014)
S. Friedman, R. Honzik, On strong forms of reflection in set theory. Math. Log. Q. 62(1–2), 52–58 (2016)
S. Friedman, R. Honzik, Definability of satisfaction in outer models. J. Symb. Log. 81(03), 1047–1068 (2016)
S. Friedman, C. Ternullo, The search for new axioms in the Hyperuniverse Programme, in Objectivity, Realism, and Proof. FilMat Studies in the Philosophy of Mathematics, ed. by F. Boccuni, A. Sereni, Boston Studies in the Philosophy and History of Science (Springer, New York, 2016), pp. 165–188
S. Friedman, P. Welch, H. Woodin, On the consistency strength of the inner model hypothesis. J. Symb. Log. 73(2), 391–400 (2008)
J.D. Hamkins, A multiverse perspective on the axiom of constructibility, in Infinity and Truth, vol. 25 (World Scientific Publishing, Hackensack, NJ, 2014), pp. 25–45
G. Hellman, Mathematics Without Numbers: Towards a Modal-Structural Interpretation (Oxford University Press, Oxford, 1989)
D. Isaacson, The reality of mathematics and the case of set theory, in Truth, Reference and Realism, ed. by Z. Novak, A. Simonyi (Central European University Press, Budapest, 2011), pp. 1–76
T. Jech, Set Theory (Springer, Berlin, 2003)
P. Koellner, On reflection principles. Ann. Pure Appl. Logic 157(2), 206–219 (2009)
Ø. Linnebo, The potential hierarchy of sets. Rev. Symb. Log. 6(2), 205–228 (2013)
P. Maddy, Defending the Axioms: On the Philosophical Foundations of Set Theory (Oxford University Press, Oxford, 2011)
T. Meadows, Naive infinitism: the case for an inconsistency approach to infinite collections. Notre Dame J. Formal Logic 56(1), 191–212 (2015)
C. Parsons, What is the iterative conception of set? Logic, Foundations of Mathematics, and Computability Theory, The University of Western Ontario Series in Philosophy of Science, vol. 9 (University of Western Ontario, London, 1977), pp. 335–367
W. Reinhardt, Remarks on reflection principles, large cardinals, and elementary embeddings, in Proceedings of Symposia in Pure Mathematics, vol. 13 (1974), pp. 189–205
I. Rumfitt, Determinacy and bivalence, in The Oxford Handbook of Truth, ed. by M. Glanzberg (Clarendon Press, Oxford, to appear)
M. Stanley, Outer Model Satisfiability, preprint
J. Steel, Gödel’s program, in Interpreting Gödel, ed. by J. Kennedy (Cambridge University Press, Cambridge, 2014)
The Thread, an e-mail discussion during June-November 2014 (with extensive contributions by S.Feferman, H.Friedman, S.Friedman, G.Hellman, P.Koellner, P.Maddy, R.Solovay and H.Woodin).
E. Zermelo, (1930) On boundary numbers and domains of sets, in From Kant to Hilbert: A Source Book in the Foundations of Mathematics, ed. by W.B. Ewald (Oxford University Press, Oxford, 1996), pp. 1208–1233
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this chapter
Cite this chapter
Friedman, SD. (2018). Evidence for Set-Theoretic Truth and the Hyperuniverse Programme. 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_4
Download citation
DOI: https://doi.org/10.1007/978-3-319-62935-3_4
Published:
Publisher Name: Birkhäuser, Cham
Print ISBN: 978-3-319-62934-6
Online ISBN: 978-3-319-62935-3
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)