Every Sierpiński set is strongly meager (Q1354338): Difference between revisions

A set of reals, \(X\), is a Sierpiński set iff it is uncountable but meets every measure zero set in a countable set. A set of reals \(X\) is strongly meager (or equivalently has strong first category) iff for every measure zero set \(Z\) there is a translate of \(Z\) disjoint from \(X\). The reason for this curious nomenclature is a result of Galvin that a set of reals has strong measure zero iff every meager set can be translated away from it. It is very easy to see that a Luzin set has strong measure zero. Galvin aksed (in 1979) if (analogously) a Sierpiński set has strong first category. Some partial results were obtained by Jasinski and Weiss and Bartoszyński and Judah. In this paper Galvin's question is answered.