Subcompactness and domain representability in GO-spaces on sets of real numbers (Q1009742)

The authors explore a family of strong completeness properties in GO-spaces defined on sets of real numbers with the usual linear ordering. They consider the following three questions: (1) Suppose the topological space \((X,\tau)\) is subcompact and suppose that \(Y\) is a \(G_\delta\)-subspace of \(X.\) Must \((Y,\tau| _Y)\) be subcompact? (2) Suppose \((X,\tau)\) is subcompact and \(S\subseteq X.\) Let \(\tau^S\) be the topology on \(X\) having the collection \(\tau\cup \{\{x\}:x\in S\}\) as a base. Must \((X,\tau^S)\) be subcompact? (3) Does domain representability imply subcompactness? For the considered class of GO-spaces, they answer both (1) and (2) affirmatively and make some progress on (3), showing that if \(X\subseteq \mathbb{R}\) and if \((X,\tau)\) is a domain-representable, dense-in-itself GO-space (with respect to the usual ordering), then \((X,\tau)\) contains a subcompact, dense \(G_\delta\)-subspace \(Y.\) Moreover \(Y\) is a \(G_\delta\)-subset of the usual open-interval topology on \(\mathbb{R}\) and this eliminates many subsets of \(\mathbb{R}\) as potential counterexamples to (3). In addition, they use their results on subcompactness to study the role of Oxtoby's pseudo-completeness in GO-spaces constructed on subspaces of \(\mathbb{R}.\)