Moving Up and Down in the Generic Multiverse
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.
Unable to display preview. Download preview PDF.
- 2.Friedman, S., Fuchino, S., Sakai, H.: On the set-generic multiverse (submitted, 2012)Google Scholar
- 5.Fuchs, G., Hamkins, J.D., Reitz, J.: Set-theoretic geology (submitted, 2011)Google Scholar
- 7.Hamkins, J.D.: The Ground Axiom. Oberwolfach Reports 2(4), 3160–3162 (2005)Google Scholar
- 10.Hamkins, J.D., Leibman, G., Löwe, B.: Structural connections between a forcing class and its modal logic (submitted, 2012)Google Scholar
- 15.Leibman, G.: Consistency strengths of modified maximality principles. PhD thesis, City University of New York (2004)Google Scholar
- 17.Reitz, J.: The Ground Axiom. PhD thesis, City University of New York (September 2006)Google Scholar
- 19.Rittberg, C.J.: The modal logic of forcing. Master’s thesis, Westfälische Wilhelms-Universität Münster (2010)Google Scholar
- 21.Woodin, W.H.: The continuum hypothesis, the generic multiverse of sets, and the ω conjecture (2009) (preprint)Google Scholar