arXiv++ Combinatorics

We consider products of sets of reals with a combinatorial structure based on scales parameterized by filters. Sets of this kind have been extensively investigated in products of spaces with combinatorial covering properties such as the Hurewicz, Scheepers, Menger, and Rothberger properties. We will complete this picture by focusing on properties from the second row of the Scheepers diagram. We solve in the affirmative a problem due to Bartoszyński-Tsaban, whether all finite powers of a $\mathfrak{b}$-scale set satisfy the strong covering property $\mathsf{S}_1(Γ,Ω)$. We also show that, in the Miller model, the product of finitely many $\mathfrak{d}$-concentrated sets satisfies $\mathsf{S}_1(Γ,Ω)$. We further provide product counterexamples demonstrating limitations of the methods used.

The main result provide a common generalization for Ramsey-type theorems concerning finite colorings of edge sets of complete graphs with vertices in infinite semigroups. We capture the essence of theorems proved in different fields: for natural numbers due to Milliken--Tylor, Deuber--Hindman, Bergelson--Hindman, for combinatorial covering properties due to Scheepers and Tsaban, and local properties in function spaces due to Scheepers. To this end, we use idempotent ultrafilters in the Čech--Stone compactifications of discrete infinite semigroups and topological games. The research is motivated by the recent breakthrough work of Tsaban about colorings and the Menger covering property.