Inductive limits of ideals

DOI10.1016/J.TOPOL.2021.107798MaRDI QIDQ6364259arXivFDO

Authors Adam Kwela

Publication date 31 March 2021

Published in arXiv

Full work available at URL https://doi.org/10.1016/J.TOPOL.2021.107798

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Descriptive set theory (03E15) Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20)

arXiv classification

math.GNmath.LO

Abstract: G. Debs and J. Saint Raymond in 2009 defined the Borel separation rank of an analytic ideal $mathcalI$ ($extrk(mathcalI)$) as minimal ordinal $alpha<omeg{a}_1$ such that there is $$ with $mathcalIsubseteqmathcalS$ and $mathcal{I}^{s}tarcapmathcalS=emptyset$, where $mathcal{I}^{s}tar$ is the filter dual to the ideal $mathcalI$ (actually, the authors use the dual notion of filters instead of ideals). Moreover, they introduced ideals $ext{Fin}_{a}lpha$, for all $alpha<omeg{a}_1$, and conjectured that $extrk(mathcalI)geqalpha$ if and only if $mathcalI$ contains an isomorphic copy of $ext{Fin}_{a}lpha$ ($ext{Fin}_{a}lphasqsubseteqmathcalI$). To define $ext{Fin}_{a}lpha$ in the case of limit ordinals $0<alpha<omeg{a}_1$, G. Debs and J. Saint Raymond introduced inductive limits of ideals. We show that the above conjecture is false in the case of $alpha=omega$ by constructing an ideal $extFin{\text{'}}_{o}mega$ of rank $omega$ such that $ext{Fin}_{o}megaotsqsubseteqextFin{\text{'}}_{o}mega$. However, we show that $extFin{\text{'}}_{o}megasqsubseteqmathcalI$ is equivalent to $foral{l}_{ninomega}ext{Fin}_{n}sqsubseteqmathcalI$. We discuss (indicated by the above result) possible modification of the original conjecture for limit ordinals.

This page was built for publication: Inductive limits of ideals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6364259)