Products of \(H\)-separable spaces in the Laver model (Q1709056)

By analogy with the well-known Hurewicz and Menger properties one defines a space to be \(H\)-separable if for every sequence \(\langle D_n:n\in\omega\rangle\) there is a choice \(\langle F_n:n\in\omega\rangle\) of finite subsets (\(F_n\) of \(D_n\)) such that every nonempty open set intersects all but finitely many \(F_n\)s. In an \(M\)-separable space the union \(\bigcup_nF_n\) should be dense. The main result of the paper states that in Laver's model for the Borel Conjecture the product of two countable \(H\)-separable spaces is always \(M\)-separable. Whether two can be improved to three (or more) and whether the product can be guaranteed to be \(H\)-separable are left as open questions.