Diamond on Kurepa trees
Fuente:
arXiv
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866917629534404608 |
|---|---|
| author | Kostana, Ziemowit Rinot, Assaf Shelah, Saharon |
| author_facet | Kostana, Ziemowit Rinot, Assaf Shelah, Saharon |
| contents | We introduce a new weak variation of diamond that is meant to only guess the branches of a Kurepa tree. We demonstrate that this variation is considerably weaker than diamond by proving it is compatible with Martin's axiom. We then prove that this principle is nontrivial by showing it may consistently fail. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2404_02715 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Diamond on Kurepa trees Kostana, Ziemowit Rinot, Assaf Shelah, Saharon Logic 03E35 We introduce a new weak variation of diamond that is meant to only guess the branches of a Kurepa tree. We demonstrate that this variation is considerably weaker than diamond by proving it is compatible with Martin's axiom. We then prove that this principle is nontrivial by showing it may consistently fail. |
| title | Diamond on Kurepa trees |
| topic | Logic 03E35 |
| url | https://arxiv.org/abs/2404.02715 |