A family $$\mathcal {I}$$ 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 $$\mathcal {I}$$ I on X is below an ideal $$\mathcal {J}$$ J on Y in the Katětov order if there is a function $$f{: }Y\rightarrow X$$ f : Y → X such that $$f^{-1}[A]\in \mathcal {J}$$ f - 1 [ A ] ∈ J for every $$A\in \mathcal {I}$$ A (...) ∈ I. We show that the Hindman ideal, the Ramsey ideal and the summable ideal are pairwise incomparable in the Katětov 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. (shrink)

In this paper, we study some new examples of ideals on $$\omega $$ with maximal Tukey type (that is, maximal among partial orders of size continuum). This discussion segues into an examination of a refinement of the Tukey order—known as the weak Rudin–Keisler order—and its structure when restricted to these ideals of maximal Tukey type. Mirroring a result of Fremlin (Note Mat 11:177–214, 1991) on the Tukey order, we also show that there is an analytic P-ideal above all other analytic (...) P-ideals in the weak Rudin–Keisler order. (shrink)