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$.

10 pages. Comments are welcome!

References in corpus (3)

• A semifilter approach to selection principles
• On M-separability of countable spaces and function spaces
• Products of Hurewicz spaces in the Laver model