A complete Heyting algebra whose Scott space is non-sober
From MaRDI portal
Publication:5146439
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
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
