A generalization of Gruenhage's example (Q2268638)

From MaRDI portal





scientific article; zbMATH DE number 5678620
Language Label Description Also known as
default for all languages
No label defined
    English
    A generalization of Gruenhage's example
    scientific article; zbMATH DE number 5678620

      Statements

      A generalization of Gruenhage's example (English)
      0 references
      0 references
      8 March 2010
      0 references
      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\}\).
      0 references
      seminormal functor
      0 references
      perfect normality
      0 references
      hereditary separability
      0 references
      hereditary normality
      0 references

      Identifiers