Upper powerdomains of quasicontinuous dcpos

DOI10.1016/J.TCS.2024.114663MaRDI QIDQ6562458zbMATH OpenFDO

Authors Hui Kou, Zhenchao Lyu

Publication date 26 June 2024

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.TCS.2024.114663

zbMATH Keywords

directed upper powerspacemonotone determined spaceScott completionstrongly quasicontinuousupper powerdomain

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• A Powerdomain Construction
• An upper power domain construction in terms of strongly compact sets
• Consistent Smyth powerdomains.
• Continuity and directed completion of topological spaces
• Continuous Lattices and Domains
• D-completions and the \(d\)-topology
• Dcpo-completion of posets
• Directed spaces defined through \(\text{ T}_0\) spaces with specialization order
• Extending algebraic operations to D-completions
• scientific article; zbMATH DE number 3840019 (Why is no real title available?)
• scientific article; zbMATH DE number 851999 (Why is no real title available?)
• Infinite distributive laws versus local connectedness and compactness properties
• Lower and upper power domain constructions commute on all cpos
• Non-Hausdorff topology and domain theory. Selected topics in point-set topology
• On monotone determined spaces
• Power domain constructions
• Presenting dcpos and dcpo algebras
• Quasicontinuity and meet-continuity of T₀ spaces
• Quasicontinuous domains and the Smyth powerdomain

Cited in

(1)

• Concrete constructions of noncommutative free dcpo semigroups

This page was built for publication: Upper powerdomains of quasicontinuous dcpos

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