From subcompact to domain representable (Q890068)

From MaRDI portal





scientific article; zbMATH DE number 6506279
Language Label Description Also known as
default for all languages
No label defined
    English
    From subcompact to domain representable
    scientific article; zbMATH DE number 6506279

      Statements

      From subcompact to domain representable (English)
      0 references
      0 references
      0 references
      9 November 2015
      0 references
      \textit{J. de Groot} [Nederl. Akad. Wet., Proc., Ser. A 66, 761--767 (1963; Zbl 0118.17901)] calls a completely regular space \(X\) \textit{subcompact} if it has an open base \(\mathcal B\) with the property that every regular open filter base from \(\mathcal B\) has nonempty intersection. In the paper under review, the authors present two generalizations of subcompactness, the first of which they call \textit{generalized subcompactness}. They prove that generalized subcompactness implies domain representability and that the second generalization of subcompactness is equivalent to domain representability. Then they give criteria on a domain \(P\) which imply that \(\max\,P\) is generalized subcompact and present an example of a domain representable space \(X\) which is not subcompact. More results are obtained -- for example, Čech complete generalized ordered spaces are subcompact. Further, they discuss situations in which domain representable spaces are generalized subcompact and investigate whether \(G_\delta\) subspaces of subcompact (resp. generalized subcompact, domain representable) spaces are subcompact (resp. generalized subcompact, domain representable). The paper closes with a list of eleven interesting open problems.
      0 references
      0 references
      domain representable
      0 references
      subcompact
      0 references
      \(\alpha\)-favorable
      0 references
      Choquet complete
      0 references
      Debs' space
      0 references
      domain theory
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references