We use a creature construction to show that consistently $$\begin{aligned} \mathfrak d=\aleph _1= {{\mathrm{cov}}}< {{\mathrm{non}}}< {{\mathrm{non}}}< {{\mathrm{cof}}} < 2^{\aleph _0}. \end{aligned}$$The same method shows the consistency of $$\begin{aligned} \mathfrak d=\aleph _1= {{\mathrm{cov}}}< {{\mathrm{non}}}< {{\mathrm{non}}}< {{\mathrm{cof}}} < 2^{\aleph _0}. \end{aligned}$$.

We show that it is consistent that the reaping number r is less than u , the size of the smallest base for an ultrafilter. To show that our forcing preserves certain ultrafilters, we prove a general partition theorem involving Ramsey ideals.

We introduce the property “F-linked” of subsets of posets for a given free filter F on the natural numbers, and define the properties “μ-F-linked” and “θ-F-Knaster” for posets in a natural way. We show that θ-F-Knaster posets preserve strong types of unbounded families and of maximal almost disjoint families. Concerning iterations of such posets, we develop a general technique to construct θ-Fr-Knaster posets (where Fr is the Frechet ideal) via matrix iterations of <θ-ultrafilter-linked posets (restricted to some level of the (...) matrix). This is applied to prove consistency results about Cichoń's diagram (without using large cardinals) and to prove the consistency of the fact that, for each Yorioka ideal, the four cardinal invariants associated with it are pairwise different. At the end, we show that three strongly compact cardinals are enough to force that Cichoń's diagram can be separated into 10 different values. (shrink)