More on yet another ideal version of the bounding number
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866915136492535808 |
|---|---|
| author | Kwela, Adam |
| author_facet | Kwela, Adam |
| contents | This is a continuation of the paper [J. Symb. Log. 87 (2022), 1065--1092]. For an ideal $\mathcal{I}$ on $ω$ we denote $\mathcal{D}_{\mathcal{I}}=\{f\inω^ω: f^{-1}[\{n\}]\in\mathcal{I} \text{ for every $n\in ω$}\}$ and write $f\leq_{\mathcal{I}} g$ if $\{n\inω:f(n)>g(n)\}\in\mathcal{I}$, where $f,g\inω^ω$.
We study the cardinal numbers $\mathfrak{b}(\geq_{\mathcal{I}}\cap (\mathcal{D}_{\mathcal{I}} \times \mathcal{D}_{\mathcal{I}}))$ describing the smallest sizes of subsets of $\mathcal{D}_{\mathcal{I}}$ that are unbounded from below with respect to $\leq_{\mathcal{I}}$.
In particular, we examine the relationships of $\mathfrak{b}(\geq_{\mathcal{I}}\cap (\mathcal{D}_{\mathcal{I}} \times \mathcal{D}_{\mathcal{I}}))$ with the dominating number $\mathfrak{d}$. We show that, consistently, $\mathfrak{b}(\geq_{\mathcal{I}}\cap (\mathcal{D}_{\mathcal{I}} \times \mathcal{D}_{\mathcal{I}}))>\mathfrak{d}$ for some ideal $\mathcal{I}$, however $\mathfrak{b}(\geq_{\mathcal{I}}\cap (\mathcal{D}_{\mathcal{I}} \times \mathcal{D}_{\mathcal{I}}))\leq\mathfrak{d}$ for all analytic ideals $\mathcal{I}$. Moreover, we give example of a Borel ideal with $\mathfrak{b}(\geq_{\mathcal{I}}\cap (\mathcal{D}_{\mathcal{I}} \times \mathcal{D}_{\mathcal{I}}))=add(\mathcal{M})$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2406_15949 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | More on yet another ideal version of the bounding number Kwela, Adam Logic This is a continuation of the paper [J. Symb. Log. 87 (2022), 1065--1092]. For an ideal $\mathcal{I}$ on $ω$ we denote $\mathcal{D}_{\mathcal{I}}=\{f\inω^ω: f^{-1}[\{n\}]\in\mathcal{I} \text{ for every $n\in ω$}\}$ and write $f\leq_{\mathcal{I}} g$ if $\{n\inω:f(n)>g(n)\}\in\mathcal{I}$, where $f,g\inω^ω$. We study the cardinal numbers $\mathfrak{b}(\geq_{\mathcal{I}}\cap (\mathcal{D}_{\mathcal{I}} \times \mathcal{D}_{\mathcal{I}}))$ describing the smallest sizes of subsets of $\mathcal{D}_{\mathcal{I}}$ that are unbounded from below with respect to $\leq_{\mathcal{I}}$. In particular, we examine the relationships of $\mathfrak{b}(\geq_{\mathcal{I}}\cap (\mathcal{D}_{\mathcal{I}} \times \mathcal{D}_{\mathcal{I}}))$ with the dominating number $\mathfrak{d}$. We show that, consistently, $\mathfrak{b}(\geq_{\mathcal{I}}\cap (\mathcal{D}_{\mathcal{I}} \times \mathcal{D}_{\mathcal{I}}))>\mathfrak{d}$ for some ideal $\mathcal{I}$, however $\mathfrak{b}(\geq_{\mathcal{I}}\cap (\mathcal{D}_{\mathcal{I}} \times \mathcal{D}_{\mathcal{I}}))\leq\mathfrak{d}$ for all analytic ideals $\mathcal{I}$. Moreover, we give example of a Borel ideal with $\mathfrak{b}(\geq_{\mathcal{I}}\cap (\mathcal{D}_{\mathcal{I}} \times \mathcal{D}_{\mathcal{I}}))=add(\mathcal{M})$. |
| title | More on yet another ideal version of the bounding number |
| topic | Logic |
| url | https://arxiv.org/abs/2406.15949 |