English

On antichain numbers and the splitting ideal

Logic 2026-05-20 v1

Abstract

In this article, we study combinatorial properties of a certain ideal on ω\omega, called the \emph{Splitting ideal}. We calculate its cardinal invariants and its position in the Kat\v{e}tov order among other definable ideals. We also study the antichain numbers a(J)\mathfrak{a}(\mathcal{J}) of algebras P(ω)/J\mathcal{P}(\omega)/\mathcal{J} for various Borel ideals. We show that min{b,covh+(J)}a(J)\textrm{min}\{\mathfrak{b},\textrm{cov}^{+}_{h}(\mathcal{J})\}\leq\mathfrak{a}(\mathcal{J}) holds for a wide class of ideals, including all FσF_{\sigma}-ideals, all analytic PP-ideals and many other examples. We also show that ba(J)\mathfrak{b}\leq\mathfrak{a}(\mathcal{J}) holds for \emph{convergent ideal} and for \emph{Boring ideal}. Finally, we will show the consistency of a(J)<b\mathfrak{a}(\mathcal{J})<\mathfrak{b} for the \emph{Van der Waerden's ideal} and the linear growth ideal

Keywords

Cite

@article{arxiv.2605.19044,
  title  = {On antichain numbers and the splitting ideal},
  author = {Aleksander Cieślak},
  journal= {arXiv preprint arXiv:2605.19044},
  year   = {2026}
}
R2 v1 2026-07-22T07:20:19.681Z