On productively Lindelöf spaces (Q554377)

Let \(P\) be a topological property. A topological space \(X\) is said to be productively \(P\) if its product with any topological space having \(P\) has property \(P\). \(X\) is called powerfully \(P\) if \(X^\omega\) has property \(P\). Finally, \(X\) is finitely powerfully \(P\) if all finite powers of \(X\) have property \(P\). The authors of this interesting paper investigate these classes of spaces for \(P=\) Lindelöf and some related covering properties. Their main results are related to E. Michael's still unanswered question whether every productively Lindelöf space is powerfully Lindelöf. Theorem 1: The Continuum Hypothesis implies that productively Lindelöf sequential \(T_3\)-spaces are powerfully Lindelöf. Theorem 2: The Continuum Hypothesis implies that productively Lindelöf \(T_3\)-spaces of cardinality \(\aleph_1\) are powerfully Lindelöf. A topological space \(X\) is Hurewicz if, for every sequence \(({\mathcal U})_{n<\omega}\) of open covers of \(X\) without finite subcovers, there are finite \({\mathcal F}_n\subset{\mathcal U}_n\) such that \(\{\cup{\mathcal F}_n\mid n<\omega\}\) is a point-cofinite cover of \(X\). Theorem 3: The Continuum Hypothesis implies that productively Lindelöf sequential \(T_3\)-spaces are finitely powerfully Hurewicz. Theorem 4: The Continuum Hypothesis implies that every productively Lindelöf space that is a continuous image of a separable metrizable space is \(\sigma\)-compact. A completely regular \(T_1\)-space \(X\) is absolute Borel if \(X\) is Borel in \(\beta X\). Theorem 5: The Continuum Hypothesis implies that productively Lindelöf absolute Borel spaces of weight \(\leq\aleph_1\) are \(\sigma\)-compact. Some of these (and related results) are proved with the method of elementary submodels.