Some results on poset models consisting of compact saturated subsets

DOI10.1016/j.entcs.2019.07.017OpenAlexW2971401776WikidataQ113317447 ScholiaQ113317447MaRDI QIDQ2130604

Qingyu He, Xiaoyong Xi, Dongsheng Zhao, Gaolin Li

Publication date: 25 April 2022

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

zbMATH Keywords

Scott topology\(k\)-spacemaximal point spacecompact saturated subsetdcpo modelK-filter defined space

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items

Separating minimal valuations, point-continuous valuations, and continuous valuations

Cites Work

• Unnamed Item
• A new dcpo whose Scott topology is well-filtered but not sober
• On topological spaces that have a bounded complete dcpo model
• The equivalence of QRB, QFS, and compactness for quasicontinuous domains.
• On well-filtered spaces and ordered sets
• Maximal point spaces of dcpos satisfying the Lawson condition
• A note on coherence of dcpos
• Well-filtered spaces and their dcpo models
• Directed complete poset models of T₁ spaces
• Continuous Lattices and Domains
• Non-Hausdorff Topology and Domain Theory