jdh.hamkins.org
Recent progress on the modal logic of forcing and grounds, CUNY Logic Workshop, September 2012
This will be a talk for the CUNY Logic Workshop on September 7, 2012. Abstract. The modal logic of forcing arises when one considers a model of set theory in the context of all its forcing extensio…