▫$M$▫-separable spaces of functions are productive in the Miller modelRepovš, Dušan (Avtor) Zdomskyy, Lyubomyr (Avtor) M-separableMiller forcingMenger spacespaces of functionsWe 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$▫.20202020-05-26 10:00:13Članek v reviji116510sl