A compact homogeneous S-space.

DOI10.1016/S0166-8641(03)00215-3MaRDI QIDQ1421989zbMATH OpenFDO

Authors Ramiro de la Vega, Kenneth Kunen

Publication date 3 February 2004

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0303239

Consistency and independence results in general topology (54A35) Compactness (54D30) Fairly general properties of topological spaces (54D99) Counterexamples in general topology (54G20)

Abstract: Under the continuum hypothesis, there is a compact homogeneous strong S-space.

Review text

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.

Recommendations

Cites work

Cited in

(18)

This page was built for publication: A compact homogeneous S-space.

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