Ways of Destruction
From MaRDI portal
Abstract: We study the following natural strong variant of destroying Borel ideals: + if adds an -positive set which has finite intersection with every . Also, we discuss the associated variants �egin{align*} mathrm{non}^*(mathcal{I},+)=&min�ig{|mathcal{Y}|:mathcal{Y}subseteqmathcal{I}^+,; forall;Ainmathcal{I};exists;Yinmathcal{Y};|Acap Y|<omega�ig}\ mathrm{cov}^*(mathcal{I},+)=&min�ig{|mathcal{C}|:mathcal{C}subseteqmathcal{I},; forall;Yinmathcal{I}^+;exists;Cinmathcal{C};|Ycap C|=omega�ig} end{align*} of the star-uniformity and the star-covering numbers of these ideals. Among other results, (1) we give a simple combinatorial characterisation when a real forcing can -destroy a Borel ideal ; (2) we discuss many classical examples of Borel ideals, their -destructibility, and cardinal invariants; (3) we show that the Mathias-Prikry, -generic real -destroys iff -destroys iff can be -destroyed iff ; (4) we characterise when the Laver-Prikry, -generic real -destroys , and in the case of P-ideals, when exactly -destroys ; (5) we briefly discuss an even stronger form of destroying ideals closely related to the additivity of the null ideal.
This page was built for publication: Ways of Destruction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6310695)