On Star operation and some ideals on the Baire space
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , |
|---|---|
| Format: | Preprint |
| Publié: |
2026
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866914620862627840 |
|---|---|
| author | Cieślak, Aleksander Perkowska, Daria Żeberski, Szymon |
| author_facet | Cieślak, Aleksander Perkowska, Daria Żeberski, Szymon |
| contents | We investigate several $σ$-ideals on the Baire space $ω^ω$ $(\mathbb{Z}^ω)$, introducing and studying the ideals $\mathcal{G}$ and $\mathcal{SMZ}^+$, alongside the classical ideals of meager sets, strong measure zero sets, the eventually different ideal and infinitely equal ideal We establish structural relationships and proper inclusions among these ideals. Also we compute the cardinal invariants of $\mathcal{M}_-$, proving that they are same as invariants of $σ$-ideal of meager sets. We further analyze the operation $^*$ on families of sets, establishing dual relationships such as $\mathcal{ED}^* = \mathcal{IE}$, $\mathcal{IE}^*=\mathcal{ED}$, $\mathcal{M}_-^*=\mathcal{SMZ}^+$ and $\mathcal{H}^* = \mathcal{G}$, and derive separations between ideals under additional set-theoretic assumptions. Finally, we prove a tree dichotomy theorem for the ideal $\mathcal{M}_-$ and we study the associated forcing notion. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2606_01180 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | On Star operation and some ideals on the Baire space Cieślak, Aleksander Perkowska, Daria Żeberski, Szymon Logic We investigate several $σ$-ideals on the Baire space $ω^ω$ $(\mathbb{Z}^ω)$, introducing and studying the ideals $\mathcal{G}$ and $\mathcal{SMZ}^+$, alongside the classical ideals of meager sets, strong measure zero sets, the eventually different ideal and infinitely equal ideal We establish structural relationships and proper inclusions among these ideals. Also we compute the cardinal invariants of $\mathcal{M}_-$, proving that they are same as invariants of $σ$-ideal of meager sets. We further analyze the operation $^*$ on families of sets, establishing dual relationships such as $\mathcal{ED}^* = \mathcal{IE}$, $\mathcal{IE}^*=\mathcal{ED}$, $\mathcal{M}_-^*=\mathcal{SMZ}^+$ and $\mathcal{H}^* = \mathcal{G}$, and derive separations between ideals under additional set-theoretic assumptions. Finally, we prove a tree dichotomy theorem for the ideal $\mathcal{M}_-$ and we study the associated forcing notion. |
| title | On Star operation and some ideals on the Baire space |
| topic | Logic |
| url | https://arxiv.org/abs/2606.01180 |