Ways of Destruction

From MaRDI portal



Abstract: We study the following natural strong variant of destroying Borel ideals: mathbbP + mathcalI if mathbbP adds an mathcalI-positive set which has finite intersection with every AinmathcalIcapV. 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 mathbbPI can +-destroy a Borel ideal mathcalJ; (2) we discuss many classical examples of Borel ideals, their +-destructibility, and cardinal invariants; (3) we show that the Mathias-Prikry, mathbbM(mathcalI∗)-generic real +-destroys mathcalI iff mathbbM(mathcalI∗) +-destroys mathcalI iff mathcalI can be +-destroyed iff mathrmcov∗(mathcalI,+)>omega; (4) we characterise when the Laver-Prikry, mathbbL(mathcalI∗)-generic real +-destroys mathcalI, and in the case of P-ideals, when exactly mathbbL(mathcalI∗) +-destroys mathcalI; (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)