Consistent Plotkin powerdomains.
DOI10.1016/J.TOPOL.2014.10.010zbMATH Open1306.06005OpenAlexW1966165163MaRDI QIDQ471476FDOQ471476
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
Recommendations
domain theoryconsistent meetsconsistent Plotkin powerdomainsconsistent powerdomainsconsistent semilatticescontinuous latticesfree dcpo-algebrasLawson compact continuous domains
Continuous lattices and posets, applications (06B35) Consistency and independence results in general topology (54A35) Connected and locally connected spaces (general aspects) (54D05)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Continuous Lattices and Domains
- Title not available (Why is that?)
- A Powerdomain Construction
- Power domain constructions
- Stable power domains
- Characterising FS domains by means of power domains
- An upper power domain construction in terms of strongly compact sets
- Power domains and second-order predicates
Cited In (10)
- Title not available (Why is that?)
- Logic of Plotkin continuous domain
- Power domain constructions
- Title not available (Why is that?)
- Consistent Hoare powerdomains.
- Upper and lower powerspaces of directed spaces
- Consistent Hoare powerdomains over dcpos
- Stable power domains
- Consistent Smyth powerdomains.
- A concrete realization of the Hoare powerdomain
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)
