On Friedman's Property
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866929574661586944 |
|---|---|
| author | Jakob, Hannes |
| author_facet | Jakob, Hannes |
| contents | We define forcing orders which add witnesses to the failure of various forms of Friedman's Property. These posets behave similarly to the forcing order adding a nonreflecting stationary set but have the advantage of allowing the construction of master conditions and thus the preservation of various large cardinal properties. We apply these new techniques to separate various instances of variants of Friedman's Problem, both between different instances at one cardinal as well as equal instances at different cardinals and en passant obtain some new results regarding the differences between ${<}\,κ$- and $κ$-strategic closure. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2411_01478 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | On Friedman's Property Jakob, Hannes Logic 03E05 (primary), 03E35, 03E55 (secondary) We define forcing orders which add witnesses to the failure of various forms of Friedman's Property. These posets behave similarly to the forcing order adding a nonreflecting stationary set but have the advantage of allowing the construction of master conditions and thus the preservation of various large cardinal properties. We apply these new techniques to separate various instances of variants of Friedman's Problem, both between different instances at one cardinal as well as equal instances at different cardinals and en passant obtain some new results regarding the differences between ${<}\,κ$- and $κ$-strategic closure. |
| title | On Friedman's Property |
| topic | Logic 03E05 (primary), 03E35, 03E55 (secondary) |
| url | https://arxiv.org/abs/2411.01478 |