Strongly dominating sets of reals (Q377470)

In the paper by \textit{M. Goldstern} et al. [Proc. Am. Math. Soc. 123, No. 5, 1573--1581 (1995; Zbl 0823.03027)], the following three conditions are shown to be equivalent over for a Borel set \(A\subseteq {}^\omega\omega\): (1) \(A\) is strongly dominating, (2) \(A\) contains a Laver perfect set, and (3) Player I has a winning strategy in the dominating game for \(A\). In this article, the authors extend the domain of the above equivalence to \(\kappa\)-Suslin sets for \(\kappa< {\mathfrak b}\), in particular to all analytic sets. Let \({\mathcal D}\) denote the \(\sigma\)-ideal consisting of non-strongly dominating sets. The article shows that \({\mathcal D}\) is a proper subset of the Laver ideal \(l^{0}\). However, these two ideals coincide if they are restricted to analytic sets. In fact, the authors compare a number of subsystems of the Laver algebra \(l\), it turns out that \({\mathcal D}\) and \(l^{0}\) coincide when intersecting with these subsystems. The last two sections are some results on Laver perfect sets. One section is about a property of a natural partition of Baire space into Laver perfect sets. The other investigates several partial quasi-orderings over the set of all functions of the form \(g: {}^{<\omega}\omega\to [\omega]^{\omega}\). The distributivity cardinals for two of these partial quasi-orderings turn out to be equal, and the analysis yields a lower bound for \(\mathrm{add}(l^{0})\).