wb-sober spaces and the core-coherence of dcpo models

DOI10.1017/S0960129524000306MaRDI QIDQ6635154zbMATH OpenFDO

Authors Chong Shen, Xinchao Zhao

Publication date 9 November 2024

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

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

zbMATH Keywords

\(\mathrm{wb}\)-sober spacecore-coherencecore-compact spaceopen well-filtered spaceposet modelScott topology

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• A note on coherence of dcpos
• An upper power domain construction in terms of strongly compact sets
• Continuous Lattices and Domains
• Dcpo models of Choquet complete and Baire spaces
• Directed complete poset models of T₁ spaces
• scientific article; zbMATH DE number 3735877 (Why is no real title available?)
• scientific article; zbMATH DE number 42114 (Why is no real title available?)
• scientific article; zbMATH DE number 7732320 (Why is no real title available?)
• Non-Hausdorff topology and domain theory. Selected topics in point-set topology
• On open well-filtered spaces
• On some topological properties of dcpo models of \(T_1\) topological spaces
• The Ho-Zhao problem
• Well-filtered spaces and their dcpo models
• Well-filtered spaces, compactness, and the lower topology

This page was built for publication: \(\mathrm{wb}\)-sober spaces and the core-coherence of \(\mathrm{dcpo}\) models

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