The covering number of the strong measure zero ideal can be above almost everything else

DOI10.1007/S00153-021-00808-0arXiv1902.01508MaRDI QIDQ6313604FDOQ6313604

Authors: Miguel A. Cardona, Diego Alejandro Mejía, Ismael E. Rivera-Madrid 

Publication date: 4 February 2019

Abstract: We show that certain type of tree forcings, including Sacks forcing, increases the covering of the strong measure zero ideal $mathcalSN$. As a consequence, in Sacks model, such covering number is equal to the size of the continuum, which indicates that this covering number is consistently larger than any other classical cardinal invariant of the continuum. Even more, Sacks forcing can be used to force that $mathrmnon(mathcalSN)<mathrmcov(mathcalSN)<mathrmcof(mathcalSN)$, which is the first consistency result where more than two cardinal invariants associated with $mathcalSN$ are pairwise different. Another consequence is that $mathcalSNsubseteq{s}^0$ in ZFC where $s^0$ denotes the Marczewski's ideal.

Mathematics Subject Classification ID

Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40) Cardinal characteristics of the continuum (03E17)

This page was built for publication: The covering number of the strong measure zero ideal can be above almost everything else

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6313604)