Katětov and Katětov-Blass orders on \(F_\sigma \)-ideals (Q334988)

In the paper, the Katětov ordering \(\leq_{\mathrm{K}}\) and the Katětov-Blass ordering \(\leq_{\mathrm{KB}}\) on the class \(F_\sigma\mathsf {ideals}\) of all \(F_\sigma\) ideals on \(\omega\) are studied. Recall that for ideals \({\mathcal I}\) and \({\mathcal J}\) on \(\omega\), \({\mathcal I}\leq_{\mathrm{K}}{\mathcal J}\), if there exists a function \(\tau:\omega\to\omega\) such that \({\mathcal I}\subseteq\{A\subseteq\omega:\tau^{-1}(A)\in{\mathcal J}\}\), and \({\mathcal I}\leq_{\mathrm{KB}}{\mathcal J}\), if there exists a finite-to-one function \(\tau:\omega\to\omega\) such that \({\mathcal I}\subseteq\{A\subseteq\omega:\tau^{-1}(A)\in{\mathcal J}\}\). It is proved that \((F_\sigma\mathsf {ideals}, {\leq_{\mathrm{K}}})\) and \((F_\sigma\mathsf {ideals}, {\leq_{\mathrm{KB}}})\) are upward directed with the dominating cardinal numbers equal to \(\mathfrak d\) and the bounding cardinal numbers equal to \(\mathfrak b\) and the class \(\mathsf {summable ideals}\) of all summable ideals is unbounded in \((F_\sigma\mathsf {ideals}, {\leq_{\mathrm{K}}})\) and in \((F_\sigma\mathsf {ideals}, {\leq_{\mathrm{KB}}})\). Moreover, the relational structures \((F_\sigma\mathsf {ideals}, {\leq_{\mathrm{K}}})\), \((F_\sigma\mathsf {ideals}, {\leq_{\mathrm{KB}}})\), \((\mathsf{summable ideals}, F_\sigma\mathsf {ideals}, {\leq_{\mathrm{K}}})\), \((\mathsf{summable ideals}, F_\sigma\mathsf {ideals}, {\leq_{\mathrm{KB}}})\), \((\omega^\omega,{\leq^*})\) are all Galois-Tukey equivalent, where the triples \((\mathsf{summable ideals}, F_\sigma\mathsf {ideals}, {\leq_{\mathrm{K}}})\) and \((\mathsf{summable ideals}, F_\sigma\mathsf {ideals}, {\leq_{\mathrm{KB}}})\) denote the restrictions of the relations \(\leq_{\mathrm{K}}\) and \(\leq_{\mathrm{KB}}\) on the product \((\mathsf{summable ideals})\times F_\sigma\mathsf {ideals}\).