MoL-2017-17: The Modal Logic of Generic Multiverses

MoL-2017-17: Piribauer, Jakob (2017) The Modal Logic of Generic Multiverses. [Report]

[thumbnail of MoL-2017-17.text.pdf]
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 View Item