Not OCA and products of Frechet spaces

Abstract

We continue the investigation of the question of whether the product of two countable Fréchet spaces must be M-separable. We are especially interested in this question in the presence of Martin's Axiom. The question has been shown to be independent of Martin's Axiom but only in models in which $\mathfrak{c}\le \ddot{I}{‰}_2$. In fact, OCA implies an affirmative answer.

16 pages