MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

In ZFC, does there exist an uncountable set of reals $A$ such that for every closed measure zero set of reals $B$, we have that $ A + B = \{a+b : a \in A, b \in B\} \neq \mathbb{R}$?

This question is motivated from the results in the following paper.

Note that under CH, there are such sets (Lusin/Sierpinski sets) and a model where every such set is countable must satisfy the Borel and the dual-Borel conjecture.

The fact that Sierpinski sets are strongly meager is due to Pawlikowsi. A more general result appears in Pawlikowski, Strongly meager sets and subsets of plane, Fundamenta Math., 156, 1998. Lusin sets are strongly null because for any sequence $\langle \epsilon_n : n \geq 1 \rangle$, the set $\bigcup \{(r_n - \epsilon_{2n}, r_n + \epsilon_{2n}) : n \geq 1\}$ , where $r_n$'s run over all rationals, covers all but countably many points in the Lusin set. Finally, if there is no uncountable set $A$ as above, then there cannot be any uncountable strongly meager/null set because if $A$ is uncountable strongly meager/null set then $A + B \neq \mathbb{R}$ for any $B$ which is both meager and null.

share|cite|improve this question
To complement the question, the recent paper by Goldstern, Kellner, Shelah, Wohofsky establishing the relative consistency of BC+dBC is here and on the arxiv. Also, Goldstern's overview of the proof is on the arxiv. – François G. Dorais Apr 15 '14 at 11:19
Could you add proofs to your notes? – Boaz Tsaban May 14 '14 at 22:33
I added some explanations and one reference. – Ashutosh May 15 '14 at 3:23
Could you point out some more implications among your property and more well-studied ones (e.g., selection principles)? – Boaz Tsaban Jan 17 at 10:42
Did you consider a union of a $\mathfrak{b}$-scale (a ZFC object) and the rationals? That's the candidate I would try first. It is SMZ if, e.g., $\mathfrak{b}\le \text{cov}(\mathcal{M})$. It is perfectly meager, though I guess it is not necessarily strongly meager. But you seek for weaker properties, don't you? – Boaz Tsaban Jan 17 at 10:45

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.