On \(M\)-separability of countable spaces and function spaces (Q712205): Difference between revisions

The definition of \(M\)-separability was introduced by \textit{M. Scheepers} [Quaest. Math. 22, No.~1, 109--130 (1999; Zbl 0972.91026)]. A topological space \(X\) is said to be {\(M\)-separable} if for every sequence \(\left\langle D_n:n\in\omega\right\rangle\) of dense subsets of \(X\), one can pick finite subsets \(F_n\subset D_n\) such that \(\bigcup_{n\in\omega} F_n\) is dense. A topological space \(X\) is said to be maximal if it has no isolated points but any strictly stronger topology on \(X\) has an isolated point. In the paper under review the authors study \(M\)-separability. They show that under the set-theoretic hypothesis \(\mathfrak b=\mathfrak d\) the class of \(M\)-separable spaces is not closed under finite products: this is true in particular for the spaces of continuous functions with the topology of pointwise convergence. Another main result of this paper is the following statment: It is consistent that no countable maximal space \(X\) is \(M\)-separable. This answers several questions of [\textit{A. Bella, M. Bonanzinga, M. Matveev} and \textit{V. V. Tkachuk}, Topol. Proc. 32, 15--30 (2008; Zbl 1165.54008)].