Consistent Plotkin powerdomains.

DOI10.1016/j.topol.2014.10.010zbMath1306.06005OpenAlexW1966165163MaRDI QIDQ471476

Hui Kou, Yayan Yuan

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 powerdomainscontinuous latticesfree dcpo-algebrasconsistent Plotkin powerdomainsconsistent semilatticesLawson compact continuous domains

Mathematics Subject Classification ID

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

Related Items (1)

Consistent Hoare powerdomains over dcpos

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Power domains and second-order predicates
• Power domain constructions
• Stable power domains
• A Powerdomain Construction
• Continuous Lattices and Domains
• Characterising FS domains by means of power domains
• An upper power domain construction in terms of strongly compact sets

This page was built for publication: Consistent Plotkin powerdomains.