A set of reals $X$ is strong measure zero if for any sequence of positive real numbers $ ( \epsilon_n ) _{n \in \omega }$ there is a sequence of open intervals $ ( a_n ) _{n \in \omega }$ which covers $X$ and such that each $ a_i $ has length less than $ \epsilon _i $.
Does anyone know where can I find a poofproof that the selection principle $\mathcal S_1(\mathcal O,\mathcal O)$ implies borelBorel property of strong measure zero? I have seen this in The Combinatorics of open covers, but the reference there is to an article which is not in English. Thank you,