Recall that a set of $X$ of reals has strong measure zero (SMZ) if for every sequence $\{\epsilon_n:n<\omega\}$ of positive real numbers, there is a sequence $\{I_n:n<\omega\}$ of intervals such that $I_n$ has length at most $\epsilon_n$ and $X\subseteq \bigcup_{n<\omega}I_n$.
By a theorem of Galvin, Mycielski, and Solovay, a set of reals $X$ has SMZ if and only if $X+F\neq\mathbb{R}$ for every meager $F\subseteq\mathbb{R}$.
I am looking for information about the collection of sets $X\subseteq\mathbb{R}$ which satisfy the stronger property that $X+F$ is meager for every meager $F$.
Clearly such sets have SMZ. My specific question is:
(1) Does this family of sets admit a more "combinatorial" definition? SMZ sets can be characterized several different ways: For example, a set $X\subseteq 2^\omega$ has SMZ if and only if for every partition $\{I_n:n<\omega\}$ of $\omega$ into intervals, there is a $z\in 2^\omega$ such that $$\forall x\in X\quad\exists^\infty n\in\omega\quad x\upharpoonright I_n = z\upharpoonright I_n$$. Is anything similar known for the situation I ask about?
However, I would also be satisfied with an answer to the following more general question:
(2) Has this collection of sets been systematically studied before? What are some references where one might learn more?
These questions are related to the field of selection principles. For example, Galvin and Miller have shown that $\gamma$-sets satisfy this stronger version of SMZ, and my graduate student Frank Ballone noted that their proof shows that sets of reals satisfying the selection principle $\binom{\Omega}{\mathcal{O}_\infty}$ (left undefined here, but due to Tsaban) do as well.
