Relating forcing relations
逻辑
2026-05-27 v1
摘要
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.
引用
@article{arxiv.2605.26896,
title = {Relating forcing relations},
author = {Michel Viana Smykalla and Hugo Luiz Mariano},
journal= {arXiv preprint arXiv:2605.26896},
year = {2026}
}