Totally paracompact spaces and the Menger covering property

Abstract

A topological space is totally paracompact if any base of this space contains a locally finite subcover. We focus on a problem of Curtis whether in the class of regular Lindel\"of spaces total paracompactness is equivalent to the Menger covering property. To this end we consider topological spaces with certain dense subsets. It follows from our results that the above equivalence holds in the class of Lindel\"of GO-spaces defined on subsets of reals. We also provide a game-theoretical proof that any regular Menger space is totally paracompact and show that in the class of first-countable spaces the Menger game and a partial open neighborhood assignment game of Aurichi are equivalent. We also show that if $\mathfrak{b}=\omega_1$, then there is an uncountable subspace of the Sorgenfrey line whose all finite powers are Lindel\"of, which is a strengthening of a famous result due to Michael.