M-separable spaces of functions are productive in the Miller model

Abstract

We prove that in the Miller model, every $M$-separable space of the form $C_p(X)$, where $X$ is metrizable and separable, is productively $M$-separable, i.e., $C_p(X)\times Y$ is $M$-separable for every countable $M$-separable $Y$.

arXiv comment10 pages. Comments are welcome!

References in corpus (6)

• A semifilter approach to selection principles
• On M-separability of countable spaces and function spaces
• Products of Menger spaces in the Miller model
• Selective covering properties of product spaces, II: gamma spaces
• Products of Hurewicz spaces in the Laver model
• Products of $H$-separable spaces in the Laver model