We consider the Katětov order between ideals of subsets of natural numbers ("") and its stronger variant-containing an isomorphic ideal ("⊑ "). In particular, we are interested in ideals for which for every ideal . We find examples of ideals with this property and show how this property can be used to reformulate some problems known from the literature in terms of the Katětov order instead of the order "⊑ " (and vice versa).
@article{bwmeta1.element.bwnjournal-article-doi-10_4064-cm130-1-9, author = {Pawe\l\ Barbarski and Rafa\l\ Filip\'ow and Nikodem Mro\.zek and Piotr Szuca}, title = {When does the Kat\v etov order imply that one ideal extends the other?}, journal = {Colloquium Mathematicae}, volume = {131}, year = {2013}, pages = {91-102}, zbl = {1291.03081}, language = {en}, url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-doi-10_4064-cm130-1-9} }
Paweł Barbarski; Rafał Filipów; Nikodem Mrożek; Piotr Szuca. When does the Katětov order imply that one ideal extends the other?. Colloquium Mathematicae, Tome 131 (2013) pp. 91-102. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-doi-10_4064-cm130-1-9/