Hereditarily strongly cwH and other separation axioms (Q2378284)

Given a subset \(A\) of a topological space \(X\), a collection \(\{U_a \mid a\in A\}\) of open subsets of \(X\) is called an open expansion of \(A\) if \(U_a\cap A=\{a\}\) for each \(a\in A\). A topological space is called collectionwise Hausdorff (cwH) if every closed discrete subset has a disjoint open expansion. It is called strongly cwH if every closed discrete subset has an open expansion which is discrete. This paper contains some theorems and many interesting examples concerning hereditarily (strongly) cwH spaces and their relationship to other separation properties. Theorem 1. Every scattered hereditarily cwH space is hereditarily \(\alpha\)-normal in the sense of \textit{A. V. Arhangel'skii} and \textit{L. Ludwig} [Commentat. Math. Univ. Carol. 42, No. 3, 507--519 (2001; Zbl 1053.54030)]. Theorem 2. A regular scattered \(T_1\)-space is hereditarily strongly cwH if and only if it is hereditarily cwH and hereditarily \(\beta\)-normal in the sense of A. V. Arhangel'skii and L. Ludwig. The following examples show that ``scattered'' is important. Example 1. There exists a hereditarily separable, hereditarily Lindelöf, hereditarily strongly cwH Baire space that is neither \(\alpha\)-normal nor regular. Example 2. There exists a regular \(T_1\)-space that is hereditarily strongly cwH but not \(\beta\)-normal. The next example shows that in Theorem 2 ``regularity'' is also crucial. Example 3. There exists a scattered space that is hereditarily strongly cwH but neither regular nor \(\beta\)-normal. That one cannot hope for more is shown by the following examples. Example 4. There exists a regular scattered hereditarily strongly cwH \(T_1\)-space that is not normal. Example 5. Assuming CH, there exists a hereditarily strongly cwH Moore space that is not normal. Example 6. Assuming \(\diamondsuit\), there exists a locally compact, locally countable, hereditarily strongly cwH space that is not normal. Additionally it is shown that several statements concerning a property called hereditarily \(wD(\aleph_1)\) (which is weaker than being hereditarily strongly cwH) are independent of ZFC.