Productively Lindelöf spaces and the covering property of Hurewicz (Q2448746)

A topological space is productively Lindelöf if its product with every Lindelöf space is Lindelöf. A topological space \(X\) satisfies the Hurewicz property if, for every sequence \( \langle \mathcal U_n \mid n < \omega \rangle \) of open covers of \(X\), there are finite subfamilies \( \langle \mathcal V_n \mid n < \omega \rangle \) such that, for each \(x \in X\), \(x \in \bigcup \mathcal V_n\), for all but finitely many \( n \in \omega\). Under the assumption that either (a) \( \text{add}( \mathcal M) = \mathfrak d \), or (b) \( \mathfrak b = \omega _1\) and Filter Dichotomy holds, the authors prove that every productively Lindelöf topological space satisfies the Hurewicz property. The definitions of the mentioned characteristics of the continuum can be found in [\textit{A. Blass}, in: Foreman, Matthew (ed.) et al., Handbook of set theory. Dordrecht: Springer. 395--489 (2010; Zbl 1198.03058)]. Case (a) unifies and extends theorems from [\textit{L. F. Aurichi} and \textit{F. D. Tall}, Topology Appl. 159, No. 1, 331--340 (2012; Zbl 1234.54032)] and [\textit{F. D. Tall}, ibid. 158, No. 18, 2556--2563 (2011; Zbl 1242.54009)]. Case (b) uses a weak version of Filter Dichotomy and is related to a theorem from [\textit{O. T. Alas} et al., Houston J. Math. 37, No. 4, 1373--1381 (2011; Zbl 1237.54018)]. No separation axiom is assumed throughout the paper.