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

domain theoryconsistent meetsconsistent Plotkin powerdomainsconsistent powerdomainsconsistent semilatticescontinuous latticesfree 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)

Recommendations

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

Cites work

• 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?)
• 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
• Power domain constructions
• Power domains and second-order predicates
• Stable power domains

Cited in

(10)

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

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)