Consistent Plotkin powerdomains.

DOI10.1016/J.TOPOL.2014.10.010MaRDI QIDQ471476zbMATH 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.10.010

zbMATH Keywords

consistent meetsconsistent Plotkin powerdomainsconsistent powerdomainsconsistent semilatticescontinuous latticesdomain theoryfree dcpo-algebrasLawson compact continuous domains

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 objects in domain theory. The Plotkin powerdomain \(P(L)\) is the free dcpo-semilattice over a continuous domain \(L\). In applications joins and meets sometimes only exist under consistency conditions, i.e., if two elements have an upper bound, then a join is guaranteed to exist, and similarly for meets. Various powerdomain constructions can be adapted to obtain constructions under consistency conditions. In this article the authors locate a subset of the Plotkin powerdomain \(P(L)\) to obtain a consistent version of the Plotkin powerdomain for a Lawson compact continuous domain \(L\), freely adding consistent semilattice operations. The few preliminary concepts (i.e., a construction of the Plotkin powerdomain in terms of lenses) are quickly introduced and then the consistent Plotkin powerdomain is constructed as the set \(P_C(L)\); the consistent lenses in a Lawson compact continuous domain \(L\), which is a Scott closed subset of the Plotkin powerdomain \(P(L)\).

Recommendations

• Consistent Hoare powerdomains.
• Power domain constructions
• Consistent Smyth powerdomains.
• scientific article; zbMATH DE number 1231471
• scientific article; zbMATH DE number 4070972

Cites work

• A Powerdomain Construction
• An upper power domain construction in terms of strongly compact sets
• 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 783754 (Why is no real title available?)
• Power domain constructions
• Power domains and second-order predicates
• Stable power domains

Cited in

(11)

• Power domain constructions
• Stable power domains
• Consistent Hoare powerdomains over dcpos
• Consistent Smyth powerdomains.
• A concrete realization of the Hoare powerdomain
• scientific article; zbMATH DE number 4070972 (Why is no real title available?)
• scientific article; zbMATH DE number 1231471 (Why is no real title available?)
• scientific article; zbMATH DE number 2079041 (Why is no real title available?)
• Consistent Hoare powerdomains.
• Logic of Plotkin continuous domain
• Upper and lower powerspaces of directed spaces

This page was built for publication: Consistent Plotkin powerdomains.

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