Covering properties on \(X^ 2\setminus \Delta \), \(W\)-sets, and compact subsets of \(\Sigma\)-products (Q798974)

This is an interesting paper. It gives connections among three different properties: (i) open covering properties, (ii) Eberlein compact spaces, i.e., compact Hausdorff spaces which can be embedded into a Banach space with its weak topology (or equivalently into a certain \(\Sigma\)-product) and related spaces, and (iii) \(W\)-sets, a notion defined by means of a topological game. Let \(X\) be a compact Hausdorff space, and \(\Delta =\{(x,x): x\in X\}\). Three main results are: (1) \(X\) is metrizable iff \(X^ 2-\Delta\) is paracompact iff \(X^ 2\) is hereditarily paracompact, (2) \(X\) is Eberlein compact iff \(X^ 2-\Delta\) is \(\sigma\)-metacompact iff \(X^ 2\) is hereditarily \(\sigma\)-metacompact, (3) \(X\) is Corson compact iff \(X^ 2-\Delta\) is meta-Lindelöf iff \(X^ 2\) is hereditarily meta-Lindelöf iff \(\Delta\) is a \(W\)-set in \(X^ 2\) iff every closed subset of \(X^ 2\) is a \(W\)-set. Another result, which is used in the proof of (3), is of independent interest. It states that if \(X\) is a compact Hausdorff space of countable tightness, then a closed set \(H\subset X\) is a \(W\)-set iff \(X-H\) is meta-Lindelöf. \{Reviewer's remark: The author has informed me that there are several misprints in the proof of Theorem 3.7. The most serious occur on page 296, line 35 and page 297, line 28 where \(\{G: G\in {\mathcal G}\}\) should be \(\{\bar G: G\in {\mathcal G}\}\). Two other misprints: On page 297, the closure symbol at the end of line 21 should be deleted, and on line 2, \(\mathcal V\) should be \(\mathcal U\).\}