A note on unbounded strongly measure zero subgroups of the Baer-Specker group (Q958516)

Let \({\mathbb Z}^{\mathbb N}\) be the Baer-Specker group of countable sequences of integers with coordinatewise addition and standard Polish topology. A subset \(X \subseteq {\mathbb Z}^{\mathbb N}\) is of strong measure zero if for each sequence \(\epsilon_n\) of positive real numbers there is a sequence of sets \(X_n\) of diameter \(\leq \epsilon_n\) such that \(X\) is contained in the union of the \(X_n\). \(X\) has the Menger property if for each sequence \({\mathcal U}_n\) of open covers of \(X\) there are finite sets \({\mathcal F}_n \subseteq {\mathcal U}_n\) such that \(\bigcup_n {\mathcal F}_n\) is a cover of \(X\). \(X\) has the Rothberger property if for each such sequence \({\mathcal U}_n\) there are \(U_n \in {\mathcal U}_n\) with \(X \subseteq \bigcup_n U_n\). Clearly, the Rothberger property implies both the Menger property and strong measure zero. The author shows that it is consistent with ZFC that there exists an unbounded (with respect to \(\leq^*\)) strong measure zero subgroup of \({\mathbb Z}^{\mathbb N}\) without the Menger property, and that it is also consistent that there is an unbounded strong measure zero subgroup of \({\mathbb Z}^{\mathbb N}\) with the Menger property but without the Rothberger property. The former is a consequence of \({\mathsf{add}} ({\mathrm{meager}}) = {\mathfrak c}\) (and thus of MA), while the latter holds in a specific model of \(\aleph_1 = {\mathfrak b} = {\mathsf{cov}} ({\mathrm{meager}}) < {\mathfrak d} = {\mathfrak c}\) (more explicitly, an \(\aleph_1\)-stage finite support iteration of random forcing over a model of MA).