• Corpus ID: 248496504

Not every countable complete lattice is sober

  title={Not every countable complete lattice is sober},
  author={Hualin Miao and Xiaoyong Xi and Qingguo Li and Dongsheng Zhao},
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… 



A complete Heyting algebra whose Scott space is non-sober

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

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

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.

On Well-Filtered Spaces and Ordered Sets

Continuous Lattices and Domains

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

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

A note on coherence of dcpos