Consistent Hoare powerdomains.

DOI10.1016/J.TOPOL.2014.09.002MaRDI QIDQ471444zbMATH OpenOpenAlexFDO

Authors Yayan Yuan, Hui Kou

Publication date 14 November 2014

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.topol.2014.09.002

zbMATH Keywords

consistent Hoare powerdomainsconsistent meetsconsistent powerdomainscontinuous directed complete posetscontinuous latticesdomain theoryfree dcpo-algebras

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Consistency and independence results in general topology (54A35) Connected and locally connected spaces (general aspects) (54D05)

Review text

Powerdomains are well known structures in domain theory. The Hoare powerdomain is the free inflationary semilattice over a continuous domain with the continuous Scott join operation. In applications the join operation is often partial, giving so called consistent joins rather than all joins. In that context the authors define the consistent Hoare powerdomain, a free algebra over a continuous domain with Scott continuous consistent joins. Briefly introducing the very few concepts needed for the construction the authors present the consistent Hoare powerdomain as the set \(R\Gamma_C(L)\); the set of nonempty relatively consistent Scott closed sets of a continuous domain \(L\), and show that if \(L\) is algebraic, then so is \(R\Gamma_C(L)\).

Recommendations

• Consistent Plotkin powerdomains.
• Consistent Hoare powerdomains over dcpos
• Consistent Smyth powerdomains.
• A concrete realization of the Hoare powerdomain
• Convex powerdomains. I

Cites work

• A Powerdomain Construction
• Characterising FS domains by means of power domains
• Continuous Lattices and Domains
• scientific article; zbMATH DE number 3846844 (Why is no real title available?)
• scientific article; zbMATH DE number 3635472 (Why is no real title available?)
• scientific article; zbMATH DE number 1229489 (Why is no real title available?)
• scientific article; zbMATH DE number 783754 (Why is no real title available?)
• Power domain constructions
• Stable power domains

Cited in

(12)

• Power domain constructions
• Consistent Hoare powerdomains over dcpos
• Consistent Smyth powerdomains.
• Consistent-linear \textit{FS}-domains
• A concrete realization of the Hoare powerdomain
• scientific article; zbMATH DE number 4070972 (Why is no real title available?)
• Consistent Plotkin powerdomains.
• L-domains and lossless powerdomains
• An upper power domain construction in terms of strongly compact sets
• Upper and lower powerspaces of directed spaces
• QC-continuity of posets and the Hoare powerdomain of QFS-domains
• The Hoare and Symth power domain constructors commute under composition

This page was built for publication: Consistent Hoare powerdomains.

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