Meager-additive sets in topological groups

Ondrej Zindulka

By the Galvin-Mycielski-Solovay theorem, a subset $X$ of the line has Borel's strong measure zero if and only if $M+X\ne \mathbb{R}$ for each meager set $M$. A set $X\subseteq\math…