Some structural aspects of the Katětov order on Borel ideals (Q304172): Difference between revisions

Katětov orders are a natural extension of Rudin-Keisler orders of ultrafilters to filters/ideals on \(\omega\). In this paper, the authors focus on the Katětov order restricted to Borel ideals and present three structural properties of this order. The first result (see \S2) is that one can embed \(\mathcal{P}(\omega)/ \mathrm{Fin}\) into the above restricted Katětov order (in fact, further restricted to the family of summable ideals on \(\omega\)). Therefore, as a corollary, in the Katětov order there are ascending and descending chains of length \(\mathfrak{b}\), as well as antichains of continuum size. In \S3, they define by recursion that a sequence \(\langle (X_\alpha, \mathrm{Fin}^{\alpha}):\alpha<\omega_1\rangle\) such that each \(X_\alpha\) is countable and \(\mathrm{Fin}^\alpha\) is a Borel ideal on \(X_\alpha\). They show that the sequence \(\langle \mathrm{Fin}^\alpha: \alpha < \omega_1 \rangle\) is increasing in the Katětov order. This is their second result. As a contrast, their third result (see \S4) says that in the Cohen model, the Katětov order restricted to Borel ideals contains no ascending nor descending chains of continuum length. This answers a question of \textit{M. Hrušák} [Contemp. Math. 533, 29--69 (2011; Zbl 1239.03030)].