Relating forcing relations
Fuente:
arXiv
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2026
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _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 |