The modal logic of set-theoretic potentialism and the potentialist maximality principles
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öwe [HLL15], including the use of buttons, switches, dials and ratchets. Among...
Հիմնական հեղինակներ: | , |
---|---|
Ձևաչափ: | Journal article |
Լեզու: | English |
Հրապարակվել է: |
Cambridge University Press
2019
|