Products of $H$-separable spaces in the Laver model

TL;DR

This paper proves that in the Laver model, the product of any two H-separable spaces is M-separable, advancing understanding of separability properties under certain set-theoretic assumptions.

Contribution

It establishes that in the Laver model, the product of two H-separable spaces is M-separable, a new result linking these properties in this set-theoretic context.

Findings

Product of two H-separable spaces is M-separable in the Laver model

Supports the consistency of certain separability properties under Borel's conjecture

Advances understanding of space products in set-theoretic topology

Abstract

We prove that in the Laver model for the consistency of the Borel's conjecture, the product of any two $H$-separable spaces is $M$-separable.