Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2306.12340 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866908808463253504 |
|---|---|
| author | Cano, Julián C. Di Prisco, Carlos A. Hrušák, Michael |
| author_facet | Cano, Julián C. Di Prisco, Carlos A. Hrušák, Michael |
| contents | We present several combinatorial properties of semiselective ideals on the set of natural numbers. The continuum hypothesis implies that the complement of every selective ideal contains a selective ultrafilter, however for semiselective ideals this is not the case. We prove that under certain hypothesis, for instance $V=L$, there are semiselective ideals whose complement does not contain a selective ultrafilter, and that it is also consistent that the complement of every semiselective ideal contains a selective ultrafilter; specifically, we show that if $V=L$ then there is a generic extension of $V$ where this occurs. We present other results concerning semiselective ideals, namely an alternative proof of Ellentuck's theorem for the local Ramsey property, and we prove some facts about the additivity of the ideal of local Ramsey null sets, and also about the generalized Suslin operation on the algebra of local Ramsey sets. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2306_12340 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Some combinatorial properties of semiselective ideals Cano, Julián C. Di Prisco, Carlos A. Hrušák, Michael Logic 03E05, 03E35, 05D10 We present several combinatorial properties of semiselective ideals on the set of natural numbers. The continuum hypothesis implies that the complement of every selective ideal contains a selective ultrafilter, however for semiselective ideals this is not the case. We prove that under certain hypothesis, for instance $V=L$, there are semiselective ideals whose complement does not contain a selective ultrafilter, and that it is also consistent that the complement of every semiselective ideal contains a selective ultrafilter; specifically, we show that if $V=L$ then there is a generic extension of $V$ where this occurs. We present other results concerning semiselective ideals, namely an alternative proof of Ellentuck's theorem for the local Ramsey property, and we prove some facts about the additivity of the ideal of local Ramsey null sets, and also about the generalized Suslin operation on the algebra of local Ramsey sets. |
| title | Some combinatorial properties of semiselective ideals |
| topic | Logic 03E05, 03E35, 05D10 |
| url | https://arxiv.org/abs/2306.12340 |