Relating forcing relations
Logic
2026-05-27 v1
Abstract
Forcing was first introduced by Paul J. Cohen in his work on the independence of the Continuum Hypothesis. Other formulations of forcing appeared using Model Theory, Boolean-valued Models, and Topos Theory. There is a folkloric claim that these three approaches are equivalent, at least at the level of their mathematical content. In this work, we present some results not found in the literature toward establishing connections between these versions of forcing.
Keywords
Cite
@article{arxiv.2605.26896,
title = {Relating forcing relations},
author = {Michel Viana Smykalla and Hugo Luiz Mariano},
journal= {arXiv preprint arXiv:2605.26896},
year = {2026}
}