Strongly meager sets of size continuum
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.
- Beyond Erdős-Kunen-Mauldin: shift-compactness properties and singular sets
- Strongly meager sets do not form an ideal
- Strongly meager sets of real numbers and tree forcing notions
- Borel conjecture and dual Borel conjecture
- Concerning Continuity Apart from a Meager Set
- scientific article; zbMATH DE number 1191172 (Why is no real title available?)
- On Sierpinski Sets
- Borel conjecture, dual Borel conjecture, and other variants of the Borel conjecture
- COUNTABLY PERFECTLY MEAGER SETS
This page was built for publication: Strongly meager sets of size continuum
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1423634)
