Introducing a nontrivial square_omega
Fuente:
arXiv
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2010
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866914463621316608 |
|---|---|
| author | Dolinar, Gregor K. Džamonja, Mirna |
| author_facet | Dolinar, Gregor K. Džamonja, Mirna |
| contents | We define a nontrivial version of the square principle $\Box_ω$, which we then show consistent by means of forcing with finite conditions.
This paper has been withdrawn by the author due to the fact that the presented $\Box_ω$ can be constructed in ZFC, as shown by Lajos Soukup and Philip Welch.
Note, that the forcing itself has not been found flawed. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_1003_2819 |
| institution | arXiv |
| publishDate | 2010 |
| record_format | arxiv |
| spellingShingle | Introducing a nontrivial square_omega Dolinar, Gregor K. Džamonja, Mirna Logic 03E05, 03E35 We define a nontrivial version of the square principle $\Box_ω$, which we then show consistent by means of forcing with finite conditions. This paper has been withdrawn by the author due to the fact that the presented $\Box_ω$ can be constructed in ZFC, as shown by Lajos Soukup and Philip Welch. Note, that the forcing itself has not been found flawed. |
| title | Introducing a nontrivial square_omega |
| topic | Logic 03E05, 03E35 |
| url | https://arxiv.org/abs/1003.2819 |