Scott topology on Smyth power posets

DOI10.1017/s0960129523000257OpenAlexW4385361061MaRDI QIDQ6149955

Xinpeng Wen, Xiao-Quan Xu, Xiaoyong Xi

Publication date: 5 March 2024

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129523000257

zbMATH Keywords

Scott topologylocal compactnesssobrietySmyth power spacefirst-countabilitySmyth power posetwell-filteredness

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On topologies defined by irreducible sets
• Power domains
• Core-compactness, consonance and the Smyth powerspaces
• Infinite distributive laws versus local connectedness and compactness properties
• Weak well-filtered spaces and coherence
• On two problems about sobriety of topological spaces
• QRB-Domains and the Probabilistic Powerdomain
• A Powerdomain Construction
• The Spectral Theory of Distributive Continuous Lattices
• Continuous Lattices and Domains
• Non-Hausdorff Topology and Domain Theory
• An upper power domain construction in terms of strongly compact sets

This page was built for publication: Scott topology on Smyth power posets