Products of Luzin-type sets with combinatorial properties (Q2315329)

In this note the authors construct Luzin-type subsets of the real line that are Rothberger in all finite powers, with a non-Menger product. A Luzin set is an uncountable set of reals whose intersection with every meager set is at most countable; its existence is independent of ZFC. The main results are the following: \textbf{Lemma 1.} Let \(\mathfrak{d}'\) be the minimal cardinality of a set \(A\subseteq[\mathbb{N}]^{\infty}\) such that, for each function \(b\in[\mathbb{N}]^{\infty}\), there is a set \(a\in A\) such that, the set \(\{n:|a\cap[b(n),b(n+1))|\geq2\}\) is finite. Then \(\mathfrak{d}=\mathfrak{d}'\). \textbf{Lemma 2.} Let \(\mathcal{M}'\) be a family of meager sets in \([\mathbb{N}]^{\infty}\) with \(|\mathcal{M}'|<\textmd{cov}(\mathcal{M})\), and \(Z\subseteq[\mathbb{N}]^{\infty}\) be a set with \(|Z|<\textmd{cov}(\mathcal{M})\). Let \(d\in[\mathbb{N}]^{\infty}\). There are elements \(x,y\in[\mathbb{N}]^{\infty}\backslash\bigcup\mathcal{M}'\) such that \(Z\leq^{\infty}x,Z\leq^{\infty}y\), and \(d\leq^{\ast}\max\{x^{c},y^{c}\}\). \textbf{Theorem 3.} Assume that \(\textmd{cov}(\mathcal{M})=\textmd{cof}(\mathcal{M})\) and the cardinal number \(\textmd{cof}(\mathcal{M})\) is regular. There are \(\textmd{cov}(\mathcal{M})\)-Luzin sets \(x,y\in[\mathbb{N}]^{\infty}\) such that: (1) all finite powers of \(X\) and \(Y\) are Rothberger, (2) the product space \(X\times Y\) is not Menger, (3) the union \(X\cup Y\) is 2-dominating.