PP-2013-04: Hamkins, Joel David and Löwe, Benedikt (2013) Moving up and down in the generic multiverse. [Report]
Preview |
Text (Full Text)
PP-2013-04.text.pdf Download (321kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
PP-2013-04.abstract.txt Download (655B) |
Abstract
We investigate the modal logic of the generic multiverse which is a
bimodal logic with operators corresponding to the relations "is a
forcing extension of" and "is a ground model of". The fragment of the
first relation is the modal logic of forcing and was studied by the
authors in earlier work. The fragment of the second relation is the
modal logic of grounds and will be studied here for the first time. In
addition, we discuss which combinations of modal logics are possible
for the two fragments.
| Item Type: | Report |
|---|---|
| Report Nr: | PP-2013-04 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2013 |
| Uncontrolled Keywords: | forcing; ground model; multiverse; modal logic |
| Subjects: | Logic |
| Depositing User: | Benedikt |
| Date Deposited: | 12 Oct 2016 14:37 |
| Last Modified: | 12 Oct 2016 14:37 |
| URI: | https://eprints.illc.uva.nl/id/eprint/476 |
Actions (login required)
 |
View Item |
