A generalization of Gruenhage's example

From MaRDI portal
Publication:2268638





Under CH, for each \(n\) a non-metrisable, compact, strongly hereditarily separable Cantor \(n\)-manifold \(X\) is constructed so that each \(F\subset X^k\) for which \(\overline{F\setminus\Delta_k}=F\) is G\(_\delta\) in \(X^k\), \(X^k\setminus\Delta_k\) is perfectly normal, the space \(\mathcal F_k(X)\) is hereditarily separable and \(\mathcal F_{kk}(X)\) is perfectly normal for each seminormal functor that preserves weights and each \(k\in\text{sp}(\mathcal F)\), and \(\mathcal F(X)\) is hereditarily normal for every seminormal functor that preserves weights and one-to-one points and satisfies sp\((\mathcal F)=\{1,k\}\).











This page was built for publication: A generalization of Gruenhage's example

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2268638)