  A family I of subsets of a set X is an ideal on X if it is closed under
taking subsets and finite unions of its elements. An ideal I on X is below an
ideal J on Y in the Katetov order if there is a function $f:Y\to X$ such that
$f^{-1}[A]\in J$ for every $A\in I$. We show that the Hindman ideal, the Ramsey
ideal and the summable ideal are pairwise incomparable in the Katetov order,
where
  * the Ramsey ideal consists of those sets of pairs of natural numbers which
do not contain a set of all pairs of any infinite set (equivalently do not
contain, in a sense, any infinite complete subgraph),
  * the Hindman ideal consists of those sets of natural numbers which do not
contain any infinite set together with all finite sums of its members
(equivalently do not contain IP-sets that are considered in Ergodic Ramsey
theory),
  * the summable ideal consists of those sets of natural numbers such that the
series of the reciprocals of its members is convergent.
  Moreover, we show that in the Katetov order the above mentioned ideals are
not below the van der Waerden ideal that consists of those sets of natural
numbers which do not contain arithmetic progressions of arbitrary finite
length.

Logic;Combinatorics