Many partition relations below density (Q375799): Difference between revisions

Using an Easton support iteration, the author obtains a model in which \(2^\mu\) is always the successor of a limit cardinal \(>\mu\), except when \(\mu\) is a strong limit singular cardinal in which case \(2^\mu=\mu^+\), and in which strong enough partition relations imply that for every Hausdorff regular space \(X\), the hereditary density and the hereditary Lindelöf numbers of \(X\) are bounded by \(s(X)^{+3}\), where \(s(X)\) denotes the spread of \(X\), and for every Hausdorff space \(X\), \(|X|\leq 2^{(\mathrm {hd}(X))^+}\) and \(w(X)\leq 2^{(\mathrm{hL}(X))^+}\). The result answers in the negative the following question raised in [\textit{I. Juhász} and \textit{S. Shelah}, Stud. Sci. Math. Hung. 45, No. 4, 557--562 (2008; Zbl 1199.54031)]: Assuming \(\aleph_1<\lambda\leq 2^{\aleph_0}\), is there (i.e. provably in ZFC) a hereditarily Lindelöf regular space of density \(\lambda\)?