activity
19962023
most citedStructural connections between a forcing class and its modal logic

2 citations · 3 across the 6 of their papers we have counts for

collaborators
Showing 2012Show all

2 papers · 1 filter

math.LO2012

Moving up and down in the generic multiverse

Joel David Hamkins, Benedikt Löwe

We give a brief account of 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 g…

math.LO2012★ 2 cited

Structural connections between a forcing class and its modal logic

Joel David Hamkins, George Leibman, Benedikt Löwe

The modal logic of forcing arises when one considers a model of set theory in the context of all its forcing extensions, interpreting necessity as "in all forcing extensions" and p…