Domination by a Polish space of the complement of the diagonal of \(X\) implies that \(X\) is cosmic (Q321401)

A~space~\(Z\) is said to be dominated by a~space~\(Y\), if there exists a~family \({\mathcal D}=\{D_K:K\)~is a~compact subset of~\(Y\}\) of compact subsets of~\(Z\) such that \(\bigcup{\mathcal D}=Z\) and \(K\subset L\) implies \(D_K\subset D_L\). A~space~\(X\) has an \(M\)-diagonal, if \((X\times X)\setminus\Delta\) is dominated by the space~\(M\) where \(\Delta=\{(x,x):x\in X\}\) is the diagonal of~\(X\). In [\textit{A. Dow} and the first author, Bull. Aust. Math. Soc. 91, No. 3, 502--507 (2015; Zbl 1320.54019)] it is proved that if \(X\)~is a~compact space of countable tightness with an \(M\)-diagonal for some second countable space~\(M\), then \(X\)~is metrizable. Let \(\mathbb P\) denote the space of the irrationals. In [\textit{A. Dow} and \textit{K. P. Hart}, Indag. Math., New Ser. 27, No. 3, 721--726 (2016; Zbl 1352.54013)] it is proved that every compact space with a~\(\mathbb P\)-diagonal is metrizable. In the paper under the review the authors prove under CH, that a~Tychonoff space has a~countable network whenever it has an \(M\)-diagonal for some second countable space~\(M\). They also generalize the result of Dow and Hart proving in ZFC that a~Tychonoff space is analytic (and hence it has a~countable network), if it has an \(M\)-diagonal for a~Polish space~\(M\). In particular, every pseudocompact space with a~\(\mathbb P\)-diagonal has a~countable network and hence it is compact and metrizable.