A base-matrix lemma for sets of rationals modulo nowhere dense sets (Q412066)

Let \(B\) be the algebra of Borel subsets of~\(2^\omega\). The trace of a~\(\sigma\)-ideal~\(I\) on~\(2^\omega\) is defined by \(\text{tr}(I)=\{a\subseteq2^{<\omega}: \{r\in2^\omega:\exists^\infty n\) \(r{\restriction}n\in a\}\in I\}\). \textit{M.~Hrušák} and \textit{J.~Zapletal} in [Arch. Math. Logic 47, No. 7--8, 719--739 (2008; Zbl 1171.03029)] studied the relationship between the forcing notions \(P_I=B/I\) and \(Q_{\text{tr}(I)}=\mathcal{P}(2^{<\omega})/\text{tr}(I)\) and proved that under the properness and the property of continuous reading of names of~\(P_I\) the forcing \(Q_{\text{tr}(I)}\) is also proper and \(Q_{\text{tr}(I)}=P_I*R_I\), where \(R_I\)~is a~name of an \(\aleph_0\)-distributive forcing and, in some cases, equivalent to \(\mathcal{P}(\omega)/\text{fin}\) in the \(P_I\)-generic extension. The authors of the paper under review prove that in the case when \(I\) is the ideal of meager sets or the ideal of null sets, the remainder forcing \(R_I\) is \(\sigma\)-closed, and if \(I\) is the ideal of meager sets, \(R_I\)~is equivalent to the quotient \(\mathcal{P}(\mathbb{Q})/\text{nwd}\). \textit{B.~Balcar}, \textit{F.~Hernández-Hernández} and \textit{M.~Hrušák}, in [Fundam. Math. 183, No. 1, 59--80 (2004; Zbl 1051.03038)], compared this forcing with the quotient \(\text{Dense}(\mathbb{Q})/\text{nwd}\), for which a base-matrix lemma was proved, and they asked whether the same holds for \(\mathcal{P}(\mathbb{Q})/\text{nwd}\). This is answered in the positive in the paper under review.