Stone duality and representation of stable domain (Q1368465)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Stone duality and representation of stable domain |
scientific article |
Statements
Stone duality and representation of stable domain (English)
0 references
9 March 1998
0 references
The author gives a Stone duality result for the category of \(L\)-domains and stable functions, by relating them to a category of particular \(\land\)-semilattices, called stable \(D\)-semilattices. He also introduces semitopological systems, which form a generalization of the topological systems studied by \textit{S. Vickers} [Topology via Logic (1989; Zbl 0668.54001)]. After deriving a Stone duality result for such spaces and continuous functions, he obtains, as a consequence, similar topological dualities for the categories of \(L\)-domains and of Scott-domains, respectively. \(L\)-domains, Scott-domains and stable functions are important in mathematical foundations of denotational semantics of programming languages.
0 references
stable domains
0 references
category of \(L\)-domains and stable functions
0 references
stable \(D\)-semilattices
0 references
Stone duality
0 references
semitopological systems
0 references
topological dualities
0 references
Scott-domains
0 references
denotational semantics
0 references