Choice-free dualities for domains (Q328639)

From MaRDI portal





scientific article; zbMATH DE number 6641501
Language Label Description Also known as
default for all languages
No label defined
    English
    Choice-free dualities for domains
    scientific article; zbMATH DE number 6641501

      Statements

      Choice-free dualities for domains (English)
      0 references
      0 references
      20 October 2016
      0 references
      This paper concentrates on domain theory. The author demonstrates many constructions and results extending the general setting of so-called \(\zeta\)-domains, which cover the cases of continuous, algebraic, hypercontinuous and hyperalgebraic domains. Especially, we observe that many of the known facts remain valid for this more flexible notion of \(\zeta\)-domains. The author pursues to the request of order-theoretical and topological notions, and this goal is realised in the following cases: a `topological' one, using a description of continuous domains as locally supercompact sober spaces, a `spectral' one, describing the \(\delta\)-domains as spectra of bispatial supercontinuous lattices, and a `computational' one, working directly with open filters.
      0 references
      algebraic domain
      0 references
      \((\zeta)\)-basis
      0 references
      choice principle
      0 references
      compact domain
      0 references
      \((\zeta)\)-continuous domain
      0 references
      \((\zeta)\)-domain
      0 references
      duality
      0 references
      open filter
      0 references
      supercompact space
      0 references
      supercontinuous lattice
      0 references

      Identifiers

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