We study the following natural strong variant of destroying Borel ideals: \textit{+-destroys} if adds an -positive set which has finite intersection with every . Also, we discuss the associated variants \begin{align*} ^(,+)=&\min\big{||:\subseteq^+,; \forall;A\in;\exists;Y\in;|A\cap Y|<\omega\big}\ ^(,+)=&\min\big{||:\subseteq,; \forall;Y\in^+;\exists;C\in;|Y\cap C|=\omega\big} \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.

生成讲解博客的中文版本

生成AI智能校验的中文版本