When is a cellular-countably-compact space, countably compact? (Q6085338)

Let \(\mathbf{P}\) be a topological property. A topological space \(X\) is said to be \emph{(almost) cellular-\(\mathbf{P}\)} if whenever \(\mathcal{U}\) is a cellular family of open sets, there is a subspace with the property \(\mathbf{P}\) which meets every element (\(|\mathcal{U}|\)-many elements) of the family \(\mathcal{U}\). In this paper the authors study Hausdorff (almost) cellular-\(\mathbf{P}\) spaces, for \(\mathbf{P}\) being compact or countably compact. In Section 2 the authors investigate when a cellular countably compact space is countably compact. Here are some representative results from this section: \textbf{Theorem 2.2} If \(X\) is a cellular countably compact space with countable closed pseudocharacter, then \(X\) is regular, first countable and countably compact. \textbf{Corollary 2.4} If \(X\) is a cellular compact space with countable closed pseudocharacter, then \(|X| \le \mathfrak{c}\). \textbf{Theorem 2.10} A cellular countably compact space \(X\) with a regular \(G_\delta\)-diagonal is compact and metrizable, and hence has cardinality at most \(\mathfrak{c}\). Section 3 of the paper is devoted to the study of maximal (almost) cellular countably compact spaces. A space \((X, \tau)\) is \emph{maximal (almost) cellular countably compact} if it is cellular countably compact, but whenever \(\sigma \supsetneq \tau\), then \((X, \sigma)\) is not (almost) cellular countably compact. In this section, among other results, the authors prove the following: \textbf{Theorem 3.1} If \((X, \tau)\) is a cellular countably compact Hausdorff space with countable closed pseudocharacter, then \((X, \tau)\) is maximal cellular countably compact. \textbf{Theorem 3.4} If \((X, \tau)\) is a regular, maximal cellular countably compact space, then \(X\) has a disjoint local \(\pi\)-base at each point. \textbf{Corollary 3.5} A sequential, cellular countably compact, regular space is maximal cellular countably compact if and only if it has a disjoint local \(\pi\)-base at each point. \textbf{Corollary 3.6} (\(2^\omega < 2^{\omega_1}\)) Each sequential, compact space is maximal cellular-countably compact. \textbf{Theorem 3.10} If \((X, \tau)\) is an almost cellular countably compact, first countable space without isolated points and \(c(X) = \omega\), then \((X, \tau)\) is not maximal almost cellular-countably compact. Since it is known that neither the property of being cellular compact nor that of being cellular countably compact is preserved, in general, under products with compact spaces, in the last Section 4 of this paper the authors study when the product of an almost cellular (countably) compact space and a compact space is almost cellular (countably) compact. They give several sufficient condition for a positive answer to this question but the general problem remains open.