Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2026
|
| Schlagworte: | |
| Online-Zugang: | https://arxiv.org/abs/2605.26896 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866914604609699840 |
|---|---|
| author | Smykalla, Michel Viana Mariano, Hugo Luiz |
| author_facet | Smykalla, Michel Viana Mariano, Hugo Luiz |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_26896 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Relating forcing relations Smykalla, Michel Viana Mariano, Hugo Luiz Logic 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. |
| title | Relating forcing relations |
| topic | Logic |
| url | https://arxiv.org/abs/2605.26896 |