Stone duality and representation of stable domain (Q1368465)

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.