M-separable spaces of functions are productive in the Miller model
英文摘要:
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$.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。