\(C_\sigma\)-unique dcpos and non-maximality of the class of dominated dcpos regarding \(\Gamma\)-faithfulness

DOI10.1016/J.ENTCS.2019.07.027OpenAlexW2972208717WikidataQ113317437 ScholiaQ113317437MaRDI QIDQ2130615

Dongsheng Zhao, Luoshan Xu

Publication date: 25 April 2022

Full work available at URL: https://doi.org/10.1016/j.entcs.2019.07.027

zbMATH Keywords

Scott topology\(\Gamma\)-faithful\(C_\sigma\)-uniquedominated dcpostratified Johnstone dcpo

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cites Work

• Dcpo-completion of posets
• Lattice-equivalence of topological spaces
• Posets having continuous intervals
• Completion of a Construction of Johnstone
• Directed complete poset models of T₁ spaces
• Uniqueness of directed complete posets based on Scott closed set lattices
• Continuous Lattices and Domains
• Non-Hausdorff Topology and Domain Theory
• On the Representations of an Abstract Lattice as the Family of Closed Sets of a Topological Space
• Topological Spaces and Lattices of Lower Semicontinuous Functions
• An upper power domain construction in terms of strongly compact sets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: \(C_\sigma\)-unique dcpos and non-maximality of the class of dominated dcpos regarding \(\Gamma\)-faithfulness