# Dual Borel conjecture in Laver's model

A set $X\subseteq 2^\omega$ of reals is of strong measure zero (smz) if $X+M\not=2^\omega$ for every meager set $M$. (This is a theorem of Galvin-Mycielski-Solovay, but for the question I am going to ask we may as well take it as a definition.)

A set $Y$ is strongly meager (sm) if $Y+N\not=2^\omega$ for every Lebesgue null set $N$.

The Borel conjecture (BC) says that every smz set is countable; the dual Borel conjecture (dBC) says that every sm set is countable.

In Laver's model (obtained by a countable support iteration of Laver reals of length $\aleph_2$) the BC holds. Same for the Mathias model.

In a paper that I (with Kellner+Shelah+Wohofsky) just sent to arxiv.org, we claim that it is not clear if Laver's model satisfies the dBC.

QUESTION: Is that correct? Or is it perhaps known that Laver's model has uncountable sm sets?

Additional remark 1: Bartoszynski and Shelah (MR 2020043) proved in 2003 that in Laver's model there are no sm sets of size continuum ($\aleph_2$). (The MR review states that the paper proves that the sm sets are exactly $[\mathbb R] ^{\le \aleph_0}$. This is obviously a typo in the review.)

Additional remark 2: If many random reals are added to Laver's model (either during the iteration, or afterwards), then BC still holds, but there will be sm sets of size continuum, so dBC fails in a strong sense.

There are other natural "duals" of strong measure zero. From the point of view of selection principles, an important dual is Borel-Hurewicz sets: sets having all Borel images in the Baire space bounded. Here too, the main example is a Siepinski set, but also some kinds of $\gamma$-sets (constructed by Todor\v{c}evic using CH) form examples.
Interestingly, in Laver's model (where there are no uncountable SMZ set), there are also no nontrivial Borel-Hurewicz sets, that is, ones of cardinality at least the critical cardinality of this property (namely, $\mathfrak{b}$): Point-cofinite covers in Laver's model (with A. Miller), Proceedings of the American Mathematical Society 138 (2010), 3313-3321. Notice that, since $\mathfrak{b}=\aleph_2$ in Laver's model, there are uncountable Borel-Hurewicz sets there, but they are all trivial in the above sense. The modern perspective and accumulated experience suggest that the right question for a notion of smallness for real sets is whether there are nontrivial examples (as defined above, that is, ones of cardinality at least the critical cardinality of this property), not whether there are (possibly trivial) uncountable examples.