Mathias-Prikry and Laver type forcing; summable ideals, coideals, and \(+\)-selective filters (Q283119)

This article studies Mathias-Prikry and Laver-type forcings conditioned over filters or coideals on \(\omega\), which continues the research line of characterizing these forcings in terms of the properties of associated filters or coideals. The results in this paper are organized into four groups/sections. From an earlier work of the third author and \textit{J. Zapletal} [Arch. Math. Logic 47, No. 7--8, 719--739 (2008; Zbl 1171.03029)], it follows that for each tall summable ideal \({\mathcal I}\) there is an \(F_{\sigma\delta}\) ideal denoted as tr\(_{\mathcal I}\) such that \({\mathcal P}(\omega)/\mathrm{tr}_{\mathcal I} = {\mathbb M}({\mathcal I^*})\ast \dot{\mathbb Q}\), where the former is the Mathias-Prikry type forcing associated to the dual filter \({\mathcal I}^*\) and the latter is the name for a proper \(\omega\)-distributive forcing notion. A natural attempt for classifying \({\mathcal P}(\omega)/\mathrm{tr}_{\mathcal I}\) is to investigate the types of \({\mathbb M}(I^*)\) for various choices of summable ideals \({\mathcal I}\). The results in \ S2 says that the Mathias forcings assoicated to tall summable ideals are mutually bi-embeddable (Theorem 8), which indicates that the above approach is very likely not viable. However, it is still open whether they are equivalent forcings. \S3 concerns the question when Mathias forcings of the form \({\mathbb M}({\mathcal I}^+)\) add dominating reals. The authors show that (see Proposition 13) they do so if \({\mathcal I}\) is Borel and \({\mathcal P}(\omega)/{\mathcal I}\) adds no new reals. As a corollary, it is shown that (Corollary 17) for any analytic ideal \({\mathcal I}\), \({\mathcal P}({\omega})/{\mathcal I}\) adds no Canjar ultrafilter (see [\textit{R. M. Canjar}, Proc. Am. Math. Soc. 104, No. 4, 1239--1248 (1988; Zbl 0691.03030)]), which answers a question raised by the third author and \textit{J. L. Verner} [Rend. Circ. Mat. Palermo (2) 60, No. 3, 445--454 (2011; Zbl 1236.03034)] negatively. In \S4, the authors characterize (Theorem 19) the property of the forcing \({\mathbb M}({\mathcal F})\), \({\mathcal F}\) is a filter, not adding an eventually different real in terms of \({\mathcal F}^{<\omega}\) being \(+\)-selective, or equivalently \({\mathcal F}^{<\omega}\) being \(+\)-Ramsey. As a corollary, if \({\mathcal F}\) is Borel and \({\mathbb M}({\mathcal F})\) adds no eventually different reals, \({\mathbb M}({\mathcal F})\) is forcing equivalent to Cohen forcing (Corollary 22). The results in \S5 deal with certain preservation properties of Laver-type forcings of the form \({\mathbb L}({\mathcal F^+})\), where \({\mathcal F}\) is a filter on \(\omega\): Let \({\mathcal X}\) be a family of subsets of \(\omega\). The authors show that (see Proposition 25, 27) \({\mathbb L}({\mathcal F}^+)\) preserves ``\(\check{{\mathcal X}}\) is \(\omega\)-hitting (or \(\omega\)-splitting)'' if and only if \({\mathcal X}\) is \({\mathcal F}^+\)-\(\omega\)-hitting (or \({\mathcal F}^+\)-\(\omega\)-splitting, respectively).