A complete Heyting algebra whose Scott space is non-sober

DOI10.4064/fm704-4-2020zbMath1498.06014arXiv1903.00615OpenAlexW3081631062MaRDI QIDQ5146439

Xiaoyong Xi, Dongsheng Zhao, Xiao-Quan Xu

Publication date: 25 January 2021

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1903.00615

zbMATH Keywords

Scott topologysober spacewell-filtered spaceupper space

Mathematics Subject Classification ID

Compactness (54D30) Complete lattices, completions (06B23) Topological spaces and generalizations (closure spaces, etc.) (54A05) Heyting algebras (lattice-theoretic aspects) (06D20) Continuous lattices and posets, applications (06B35)

Related Items

Some open problems on well-filtered spaces and sober spaces ⋮ On function spaces equipped with Isbell topology and Scott topology ⋮ Hofmann-Mislove type definitions of non-Hausdorff spaces ⋮ On two problems about sobriety of topological spaces ⋮ A compact space is not always \(SI\)-compact ⋮ On some results related to sober spaces ⋮ Coincidence of the upper Vietoris topology and the Scott topology ⋮ On H-sober spaces and H-sobrifications of \(T_0\) spaces ⋮ \textbf{K}-reflections of product spaces ⋮ First-countability, \( \omega \)-Rudin spaces and well-filtered determined spaces ⋮ On almost sober spaces ⋮ A unified approach to some non-Hausdorff topological properties

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quasicontinuous domains and the Smyth powerdomain
• On topological Rudin's lemma, well-filtered spaces and sober spaces
• On well-filtered spaces and ordered sets
• A note on coherence of dcpos
• Well-filtered spaces and their dcpo models
• Completion of a Construction of Johnstone
• Continuous Lattices and Domains
• Non-Hausdorff Topology and Domain Theory
• An upper power domain construction in terms of strongly compact sets