A compact homogeneous S-space. (Q1421989)

An S-space is a hereditarily separable space that is not hereditarily Lindelöf. An L-space is a hereditarily Lindelöf space that is not hereditarily separable. The question as to the existence of an S-space is a delicate one. Under CH there is a variety of S-spaces, among them even topological groups; there are no S-spaces at all under PFA. In this interesting paper the authors prove the existence of a strong compact zero-dimensional S-space under CH (an S-space is strong if each of its finite powers is an S-space). It then follows that the \(\omega\)th power of this space is an example of a homogeneous compact S-space. The question whether there exists a homogeneous compact S-space is due to \textit{A. V. Arkhangel'skij} [Russ. Math. Surv. 42, 83--131 (1987; Zbl 0642.54017)] and \textit{K. P. Hart}, in his MR-review (MR1876380 (2003a:54040)) of \textit{K. Kunen} [Topol. Proc. 24, 295--327 (1999; Zbl 1027.54503)]. In this paper, the second-named author proves that compact homogeneous L-spaces exist under CH. So the present paper nicely complements this result.