Approximation and Baire classification of separately continuous functions on products of generalized ordered and compact spaces (Q2215690)

The following two properties of a topological space \(X\) are examined. \(X\) has Moran property (M), or a stronger approximation property (A), if for every compact space \(Y\) each separately continuous function \(f: X\times Y\to\mathbb{R}\) is of the first Baire class (in the case (M)), or there are continuous \(f_n:X\times Y\to\mathbb{R}\) such that \(f_n\restriction (\{x\}\times Y)\) and \(f_n\restriction (X\times \{y\})\) converge uniformly at every point to the corresponding restrictions of \(f\), respectively (in the case (A)). The result from \textit{O. Karlova} and \textit{V. Mykhaylyuk} [Eur. J. Math. 3, No. 1, 87--110 (2017; Zbl 1370.26011)] says that a compact space \(X\) has property (M), or equivalently property (A), if and only if \(X\) has the countable chain condition with respect to cozero sets. Here a necessary condition for the Moran property (M) is found, which coincides with perfectness (i.e., open sets are \(F_\sigma\)) for generalized order spaces. On the other hand, one of the main results says that generalized order spaces \(X\), which are simultaneously perfect, strongly zero-dimensional, hereditarily Baire, and have \(G_\delta\) diagonal in \(X\times X\), have the approximation property (A). Using the existence of a Souslin continuum, a perfect, linearly ordered, and paracompact space \(X\) is found which does not have property (M). In fact, a compact space \(Y\) and a separately continuous \(f:X\times Y\to\mathbb{R}\) exist for that \(X\) such that \(f\) does not belong to \(\alpha\)'s Baire class for every \(\alpha<\omega_1\). Concerning the methods, let us point out that among others several results on Namioka spaces are essentially used.