Strongly meager and strong measure zero sets
arXiv:math/9907137
Abstract
We show that the following are consistent with ZFC: 1. Strongly meager sets form an ideal with the same additivity as the ideal of meager sets. 2. There exists a strong measure zero set of size > d (dominating number).
[BaSh658]