Induced topologies on the poset of finitely generated saturated sets

DOI10.1016/j.entcs.2019.07.028OpenAlexW2971544166WikidataQ113317436 ScholiaQ113317436MaRDI QIDQ2130616

Wenfeng Zhang, Xiao-Quan Xu

Publication date: 25 April 2022

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

zbMATH Keywords

Scott topologyupper topologyquasicontinuous domainhypercontinuous poset

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quasicontinuous domains and the Smyth powerdomain
• Quasicontinuity of posets via Scott topology and sobrification
• Topological representations of distributive hypercontinuous lattices
• \(T_ 0\)-spaces and pointwise convergence
• Generalized continuous and hypercontinuous lattices
• Infinite distributive laws versus local connectedness and compactness properties
• Continuity of posets via Scott topology and sobrification

This page was built for publication: Induced topologies on the poset of finitely generated saturated sets