Choice-free dualities for domains (Q328639)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Choice-free dualities for domains |
scientific article |
Statements
Choice-free dualities for domains (English)
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