Products of Menger spaces: A combinatorial approach (Q331034)

It is a~result of Todorčević that there are Menger spaces \(X\) and~\(Y\) such that \(X\times Y\) is not Menger. It remains open whether there are such examples in the real line. It is known that they exist under some set-theoretical hypotheses. In the paper under the review the authors introduce a~purely combinatorial approach to products of Menger sets. They obtain examples using milder hypotheses than the earlier ones and hypotheses incompatible with the Continuum Hypothesis. These results are extended for some variations of Menger's property parametrized by filters and semifilters. In particular, the Continuum Hypothesis implies that every productively Menger set of reals is productively Hurewicz. The second part of the paper establishes provably productive properties among the semifilter-parametrized Menger properties. These properties are strictly between the Hurewicz property and the Menger property.