Not every countable complete lattice is sober
@inproceedings{Miao2022NotEC, title={Not every countable complete lattice is sober}, author={Hualin Miao and Xiaoyong Xi and Qingguo Li and Dongsheng Zhao}, year={2022} }
The study of the sobriety of Scott spaces has got an relative long history in domain theory. Lawson and Hoffmann independently proved that the Scott space of every continuous directed complete poset (usually called domain) is sober. Johnstone constructed the first directed complete poset whose Scott space is non-sober. Not long after, Isbell gave a complete lattice with non-sober Scott space. Based on Isbell’s example, Xu, Xi and Zhao showed that there is even a complete Heyting algebra whose…
Figures from this paper
References
SHOWING 1-10 OF 12 REFERENCES
A complete Heyting algebra whose Scott space is non-sober
- MathematicsFundamenta Mathematicae
- 2021
We prove that (1) for any complete lattice $L$, the set $\mathcal{D}(L)$ of all nonempty saturated compact subsets of the Scott space of $L$ is a complete Heyting algebra (with the reverse inclusion…
Completion of a construction of Johnstone
- Mathematics
- 1982
A complete lattice is constructed which is not sober in the Scott topology. Peter Johnstone has constructed [3] a (countable) partially ordered set X+ which admits a sober topology (i.e. the relation…
Meet-continuity and locally compact sober dcpos
- Mathematics
- 2018
It is proved that any cartesian closed full subcategory of pointed locally compact sober dcpos is entirely contained in the category of stably compact dcpos or that of L-dcpos, which entails that any Cartesian closedFull sub category of quasicontinuous domains consists of continuous domains entirely.
Continuous Lattices and Domains
- Mathematics
- 2003
Preface Acknowledgements Foreword Introduction 1. A primer on ordered sets and lattices 2. Order theory of domains 3. The Scott topology 4. The Lawson Topology 5. Morphisms and functors 6. Spectral…
Non-Hausdorff topology and domain theory
- Mathematics
- 2013
1. Introduction 2. Elements of set theory 3. A first tour of topology: metric spaces 4. Topology 5. Approximation, and function spaces 6. Metrics, quasi-metrics, hemi-metrics 7. Completeness 8. Sober…
Some open problems on well-filtered spaces and sober spaces
- MathematicsTopology and its Applications
- 2020