Productively Scheepers spaces and their relatives

Abstract

We prove that assuming $\mathfrak{b}=\mathfrak{d}$, in the class of hereditarily Lindelöf spaces, each productively Scheepers space is productively Hurewicz. The above statement remains true in the class of all general topological spaces assuming that $\mathfrak{d}=\aleph_1$. To this end we use combinatorial methods and the Menger covering property parametrized by ultrafilters. We also show that if near coherence of filters holds, then the Scheepers property is equivalent to a Menger property parametrized by any ultrafilter.

Figures (1)

• Figure 1: Relations considered in the class of hereditarily Lindelöf spaces, assuming that $\mathfrak{b}=\mathfrak{d}$.

Theorems & Definitions (31)

• Theorem 2.1: Miller, Tsaban, Zdomskyy Miller2014
• Theorem 3.1: Szewczak--Tsaban Szewczak2017
• Theorem 3.2
• proof
• Claim 3.3
• proof
• Claim 3.4
• proof
• Theorem 3.5
• Lemma 3.6: Szewczak2017