Strongly meager sets of size continuum (Q1423634)

Let \(\mathcal N\) denote the ideal of null sets in the space \(2^{\omega}\), and \({\mathcal {SM}}\) denote the collection of all strongly meager sets in \(2^{\omega}\), i.e., all \(X\subset 2^{\omega}\), such that \(X+H\neq 2^{\omega}\) for every \(H\in {\mathcal N}\). The following results are proved in the paper: (1) There are no \({\mathcal {SM}}\) sets of size continuum in Laver's or Miller's model. (2) If cov\(({\mathcal N})=2^{\aleph_0}\) then every set of size less than continuum is \({\mathcal {SM}}\) and there are \({\mathcal {SM}}\) sets of size continuum. (3) It is consistent with ZFC that cov\(({\mathcal N})<2^{\aleph_0}\) and there exist \({{\mathcal {SM}}}\) sets of size continuum.