On the structure of Borel ideals in-between the ideals \mathcal{ED} and \mathrm{Fin}\otimes\mathrm{Fin} in the Kat\v{e}tov order

DOI10.1016/J.APAL.2021.102976MaRDI QIDQ6353210arXivFDO

Authors Pratulananda Das, Rafał Filipów, Szymon Glab, Jacek Tryba

Publication date 7 November 2020

Published in arXiv

Full work available at URL https://doi.org/10.1016/J.APAL.2021.102976

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Descriptive set theory (03E15) Cardinal characteristics of the continuum (03E17) Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets (28A05) Ideal and statistical convergence (40A35)

arXiv classification

math.GNmath.LO

Abstract: For a family $cFsubseteqomeg{a}^{o}mega$ we define the ideal $I(cF)$ on $omegaimesomega$ to be the ideal generated by the family ${\displaystyle }${Asubseteq omega imesomega:exists fin cF,forall^infty n, (|{k:(n,k)in A}|leq f(n))}.${\displaystyle }$ Using ideals of the form $I(cF)$, we show that the structure of Borel ideals in-between two well known Borel ideals ${\displaystyle }$ED = {Asubseteqomega imesomega:exists m , forall^infty n, (|{k:(n,k)in A}|<m))}${\displaystyle }$ and ${\displaystyle }$finotimesfin = {Asubseteqomega imesomega:forall^infty n , (|{k:(n,k)in A}|<aleph_0))}${\displaystyle }$ in the Katv{e}tov order is fairly complicated. Namely, there is a copy of $cP(omega)/fin$ in-between $ED$ and $finotimesfin$, and consequently there are increasing and decreasing chains of length $$ and antichains of size $continuum$.

This page was built for publication: On the structure of Borel ideals in-between the ideals $\mathcal{ED}$ and $\mathrm{Fin}\otimes\mathrm{Fin}$ in the Kat\v{e}tov order

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