If ZFC is consistent, then each of the following is consistent with ZFC + 2ℵ0 = ℵ2: (1) $X \subseteq \mathbb{R}$ is of strong measure zero iff |X| ≤ ℵ1 + there is a generalized Sierpinski set. (2) The union of ℵ1 many strong measure zero sets is a strong measure zero set + there is a strong measure zero set of size ℵ2 + there is no Cohen real over L.

We investigate the notion of strong measure zero sets in the context of the higher Cantor space $2^\kappa $ for $\kappa $ at least inaccessible. Using an iteration of perfect tree forcings, we give two proofs of the relative consistency of $$\begin{align*}|2^\kappa| = \kappa^{++} + \forall X \subseteq 2^\kappa:\ X \textrm{ is strong measure zero if and only if } |X| \leq \kappa^+. \end{align*}$$ Furthermore, we also investigate the stronger notion of stationary strong measure zero and show that the equivalence (...) of the two notions is undecidable in ZFC. (shrink)

We construct a model of ZFC satisfying the Dual Borel Conjecture in which there is a set of size ℵ₁ that does not have measure zero.