The modal logic of \sigma-centered forcing and related forcing classes

DOI10.1017/JSL.2019.41MaRDI QIDQ6282078arXivFDO

Authors Ur Ya'Ar

Publication date 18 January 2017

Published in arXiv

Full work available at URL https://doi.org/10.1017/JSL.2019.41

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other aspects of forcing and Boolean-valued models (03E40)

arXiv classification

math.LO

Abstract: We consider the modality "$varphi$ is true in every $sigma$-centered forcing extension", denoted $squarevarphi$, and its dual "$varphi$ is true in some $sigma$-centered forcing extension", denoted $lozengevarphi$ (where $varphi$ is a statement in set theory), which give rise to the notion of a "principle of $sigma$-centered forcing". We prove that if ZFC is consistent, then the modal logic of $sigma$-centered forcing, i.e. the ZFC-provable principles of $sigma$-centered forcing, is exactly $mathsfS4.2$. We also generalize this result to other related classes of forcing.

This page was built for publication: The modal logic of $\sigma$-centered forcing and related forcing classes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6282078)