Inductive limits of ideals
Fuente:
arXiv
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Preprint |
| Publié: |
2021
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866917882957398016 |
|---|---|
| author | Kwela, Adam |
| author_facet | Kwela, Adam |
| contents | G. Debs and J. Saint Raymond in 2009 defined the Borel separation rank of an analytic ideal $\mathcal{I}$ ($\text{rk}(\mathcal{I})$) as minimal ordinal $α<ω_{1}$ such that there is $\mathcal{S}\in\bf{Σ^0_{1+α}}$ with $\mathcal{I}\subseteq \mathcal{S}$ and $\mathcal{I}^\star\cap \mathcal{S}=\emptyset$, where $\mathcal{I}^\star$ is the filter dual to the ideal $\mathcal{I}$ (actually, the authors use the dual notion of filters instead of ideals). Moreover, they introduced ideals $\text{Fin}_α$, for all $α<ω_1$, and conjectured that $\text{rk}(\mathcal{I})\geqα$ if and only if $\mathcal{I}$ contains an isomorphic copy of $\text{Fin}_α$ ($\text{Fin}_α\sqsubseteq\mathcal{I}$). To define $\text{Fin}_α$ in the case of limit ordinals $0<α<ω_1$, G. Debs and J. Saint Raymond introduced inductive limits of ideals.
We show that the above conjecture is false in the case of $α=ω$ by constructing an ideal $\text{Fin}'_ω$ of rank $ω$ such that $\text{Fin}_ω\not\sqsubseteq\text{Fin}'_ω$. However, we show that $\text{Fin}'_ω\sqsubseteq\mathcal{I}$ is equivalent to $\forall_{n\inω}\text{Fin}_n\sqsubseteq\mathcal{I}$. We discuss (indicated by the above result) possible modification of the original conjecture for limit ordinals. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2103_17169 |
| institution | arXiv |
| publishDate | 2021 |
| record_format | arxiv |
| spellingShingle | Inductive limits of ideals Kwela, Adam Logic General Topology 03E05, 03E15 G. Debs and J. Saint Raymond in 2009 defined the Borel separation rank of an analytic ideal $\mathcal{I}$ ($\text{rk}(\mathcal{I})$) as minimal ordinal $α<ω_{1}$ such that there is $\mathcal{S}\in\bf{Σ^0_{1+α}}$ with $\mathcal{I}\subseteq \mathcal{S}$ and $\mathcal{I}^\star\cap \mathcal{S}=\emptyset$, where $\mathcal{I}^\star$ is the filter dual to the ideal $\mathcal{I}$ (actually, the authors use the dual notion of filters instead of ideals). Moreover, they introduced ideals $\text{Fin}_α$, for all $α<ω_1$, and conjectured that $\text{rk}(\mathcal{I})\geqα$ if and only if $\mathcal{I}$ contains an isomorphic copy of $\text{Fin}_α$ ($\text{Fin}_α\sqsubseteq\mathcal{I}$). To define $\text{Fin}_α$ in the case of limit ordinals $0<α<ω_1$, G. Debs and J. Saint Raymond introduced inductive limits of ideals. We show that the above conjecture is false in the case of $α=ω$ by constructing an ideal $\text{Fin}'_ω$ of rank $ω$ such that $\text{Fin}_ω\not\sqsubseteq\text{Fin}'_ω$. However, we show that $\text{Fin}'_ω\sqsubseteq\mathcal{I}$ is equivalent to $\forall_{n\inω}\text{Fin}_n\sqsubseteq\mathcal{I}$. We discuss (indicated by the above result) possible modification of the original conjecture for limit ordinals. |
| title | Inductive limits of ideals |
| topic | Logic General Topology 03E05, 03E15 |
| url | https://arxiv.org/abs/2103.17169 |