2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/78855We 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]LogicStrongly meager and strong measure zero setstext