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).
We show that the ideal of nowhere dense subsets of rationals cannot be extended to an analytic P-ideal, ideal nor maximal P-ideal. We also consider a problem of extendability to a non-meager P-ideals (in particular, to maximal P-ideals).
We consider various forms of Ramsey's theorem, the monotone subsequence theorem and the Bolzano-Weierstrass theorem which are connected with ideals of subsets of natural numbers. We characterize ideals with properties considered. We show that, in a sense, Ramsey's theorem, the monotone subsequence theorem and the Bolzano-Weierstrass theorem characterize the same class of ideals. We use our results to show some versions of density Ramsey's theorem (these are similar to generalizations shown in [P....
Page 1