MoL-2017-17: Piribauer, Jakob (2017) The Modal Logic of Generic Multiverses. [Report]
Preview |
Text
MoL-2017-17.text.pdf Download (698kB) | Preview |
Abstract
In this thesis, we investigate the modal logic of forcing and the modal logic of grounds of generic multiverses. Hamkins and Löwe showed that the ZFC-provable modal principles of forcing, as well as of grounds, are exactly the theorems of the modal logic S4.2. We prove that the modal logic of forcing of any generic multiverse is also exactly S4.2 by showing that any model of ZFC has a ground whose modal logic of forcing is S4.2 . Moreover, we show that the modal logic of grounds of any generic multiverse is contained in S4.2Top . In particular, this implies that the modal logic of grounds of any generic multiverse with a bedrock is exactly S4.2Top . Furthermore, we show that the modal logic of any generic multiverse obtained by forcing with a progressively closed class product satisfying certain definability conditions - the only method known to us to produce multiverses without a bedrock - is contained in S5.
| Item Type: | Report |
|---|---|
| Report Nr: | MoL-2017-17 |
| Series Name: | Master of Logic Thesis (MoL) Series |
| Year: | 2017 |
| Subjects: | Logic Mathematics |
| Depositing User: | Dr Marco Vervoort |
| Date Deposited: | 28 Sep 2017 15:41 |
| Last Modified: | 28 Sep 2017 15:41 |
| URI: | https://eprints.illc.uva.nl/id/eprint/1554 |
Actions (login required)
 |
View Item |
