Stone duality and representation of stable domain

DOI10.1016/S0898-1221(97)00096-5MaRDI QIDQ1368465zbMATH OpenFDO

Authors Yixiang Chen

Publication date 9 March 1998

Published in Computers & Mathematics with Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0898-1221(97)00096-5

zbMATH Keywords

category of \(L\)-domains and stable functionsdenotational semanticsScott-domainssemitopological systemsstable \(D\)-semilatticesstable domainsStone dualitytopological dualities

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Semantics in the theory of computing (68Q55)

Review text

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.

Recommendations

• scientific article; zbMATH DE number 1829243
• scientific article; zbMATH DE number 517037
• On stable domains
• An algebraic approach to stable domains

Cites work

• A domain equation for bisimulation
• An algebraic approach to stable domains
• Cartesian closed categories of algebraic cpos
• Categories of embeddings
• Coherence and consistency in domains
• Disjunctive systems and L-Domains
• Domain theory in logical form
• scientific article; zbMATH DE number 3654118 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 3594646 (Why is no real title available?)
• scientific article; zbMATH DE number 517037 (Why is no real title available?)
• scientific article; zbMATH DE number 517038 (Why is no real title available?)
• scientific article; zbMATH DE number 3073621 (Why is no real title available?)
• L-domains and lossless powerdomains
• On stable domains
• Some monoidal closed categories of stable domains and event structures
• Stable domains are generalized topological spaces
• Stable neighbourhoods
• The Theory of Representation for Boolean Algebras

Cited in

(15)

• Domain semantics of possibility computations
• Domain theory in logical form
• Fixed points of Scott continuous self-maps
• A logic for Lawson compact algebraic L-domains
• Continuous L-domains in logical form
• scientific article; zbMATH DE number 1829243 (Why is no real title available?)
• scientific article; zbMATH DE number 517037 (Why is no real title available?)
• scientific article; zbMATH DE number 1154167 (Why is no real title available?)
• On the largest Cartesian closed category of stable domains
• Domains via graphs
• A set-theoretic representation of algebraic L-domains
• A set-theoretic approach to algebraic \(\mathrm{L}\)-domains
• On stable domains
• A logical approach to stable domains
• An algebraic approach to stable domains

This page was built for publication: Stone duality and representation of stable domain

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1368465)