Consistent Smyth powerdomains.

DOI10.1016/j.topol.2014.05.023zbMath1303.06006OpenAlexW1980824162MaRDI QIDQ2250140

Hui Kou, Yayan Yuan

Publication date: 4 July 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.05.023

zbMATH Keywords

domain theoryconsistent meetscontinuous directed complete posetscontinuous latticesfree dcpo-algebrasconsistent Smyth powerdomains

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 (3)

Consistent Smyth powerdomains of topological spaces and quasicontinuous domains ⋮ Consistent Hoare powerdomains over dcpos ⋮ Characterizing consistent Smyth powerdomains by \textit{FS-}\(\land^{\uparrow}\)-domains

Cites Work

• Power domain constructions
• Topology, domain theory and theoretical computer science
• Stable power domains
• Convex power domain and Vietoris space
• Probabilistic event structures and 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Consistent Smyth powerdomains.