Creature forcing and five cardinal characteristics in Cichoń's diagram (Q2408084)

Recall that Cichon's diagram shows all provable inequalities between 12 different cardinal numbers \(\aleph_1\), \(\operatorname{add}(\mathcal N)\), \(\operatorname{add}(\mathcal M)\), \(\operatorname{cov}(\mathcal M)\), \(\operatorname{non}(\mathcal N)\), \({\mathfrak b}\), \({\mathfrak d}\), \(\operatorname{cov}(\mathcal N)\), \(\operatorname{non}(\mathcal M)\), \(\operatorname{cof}(\mathcal M)\), \(\operatorname{cof}(\mathcal N)\), \(2^{\aleph_0}\). The aim is to find models of ZFC in which some of these cardinals with any pre-described inequalities are simultaneously different. Two models are constructed in the paper and \(\operatorname{cov}(\mathcal N)={\mathfrak d}=\aleph_1\) in both. In fact these relations alone reduce Cichon's diagram to possibly 5 different cardinals because they collapse the lower part of the diagram consisting of \(7\) cardinals to \(\aleph_1\) and \({\mathfrak d}=\aleph_1\) implies \(\operatorname{non}(\mathcal M)=\operatorname{cof}(\mathcal M)\). Provided that the remaining \(5\) cardinals are different it follows that \(\aleph_1<\operatorname{non}(\mathcal M)<\operatorname{cof}(\mathcal N)<2^{\aleph_0}\) and for the cardinal \(\operatorname{non}(\mathcal N)\) there are two possibilities because \(\aleph_1<\operatorname{non}(\mathcal N)<\operatorname{cof}(\mathcal N)\). The main result of the paper is that the mentioned two models provide the consistency of both possibilities with these five cardinals different.