References & Citations
Mathematics > Logic
Title: The modal logic of set-theoretic potentialism and the potentialist maximality principles
(Submitted on 4 Aug 2017 (v1), last revised 3 Aug 2018 (this version, v3))
Abstract: We analyze the precise modal commitments of several natural varieties of set-theoretic potentialism, using tools we develop for a general model-theoretic account of potentialism, building on those of Hamkins, Leibman and L\"owe, including the use of buttons, switches, dials and ratchets. Among the potentialist conceptions we consider are: rank potentialism (true in all larger $V_\beta$); Grothendieck-Zermelo potentialism (true in all larger $V_\kappa$ for inaccessible cardinals $\kappa$); transitive-set potentialism (true in all larger transitive sets); forcing potentialism (true in all forcing extensions); countable-transitive-model potentialism (true in all larger countable transitive models of ZFC); countable-model potentialism (true in all larger countable models of ZFC); and others. In each case, we identify lower bounds for the modal validities, which are generally either S4.2 or S4.3, and an upper bound of S5, proving in each case that these bounds are optimal. The validity of S5 in a world is a potentialist maximality principle, an interesting set-theoretic principle of its own. The results can be viewed as providing an analysis of the modal commitments of the various set-theoretic multiverse conceptions corresponding to each potentialist account.
Submission history
From: Joel David Hamkins [view email][v1] Fri, 4 Aug 2017 19:15:08 GMT (42kb)
[v2] Fri, 6 Apr 2018 13:44:03 GMT (46kb)
[v3] Fri, 3 Aug 2018 18:18:45 GMT (46kb)
Link back to: arXiv, form interface, contact.