No label defined (Q4490809)

A subset \(X\) of the real line has strong measure zero, if for each sequence \((\varepsilon_n : n\in N)\) of positive real numbers, there exists a sequence \((I_n : n\in N)\) of intervals covering \(X\) such that \(|X|= \varepsilon_n\), where \(|I|\) is the length of the interval \(I\). There is a well-known conjecture by E. Borel, which was later found to be undecidable on the basis of the standard axioms of set theory, that each strong measure zero set is countable. The main result of the paper is a theorem which says that for each cardinal \(\kappa\), there exists a strong measure zero set of cardinality \(\kappa\) if and only if the player ONE does not have a winning strategy in the infinitary game \(G(\kappa,\aleph_0,2)\) defined by F. Galvin. For the entire collection see [Zbl 0882.00028].