Skip to content
DraconiticResearch
Search Sources API
194,230 studies31 sourcesUpdated 39 min ago
PreprintCC BY 4.0arXiv

Sobriety of Scott topologies under countability conditions

Abstract

In this paper, we focus on the sobriety of the Scott topology in countable case. Specifically, we show that: (1) every meet-continuous core-compact countable dcpo is sober with respect to the Scott topology; (2)every countable locally compact dcpo is sober endowed with the Scott topology; (3) the lattice of all open sets for the rational numbers space Q equipped with the Scott topology is not sober.

Related

  1. Scott products and sobriety of countable meet-continuous dcpos
    Xiaoquan Xu, Wei Ji
    arXivPreprintCC BY 4.0Full textLogic & foundationsarXiv
  2. Sequential convergence in the lower topology and co-sobriety of Scott spaces
    Xiaoquan Xu, Wei Ji
    arXivPreprintCC BY 4.0Full textGeometry & topologyarXiv
  3. Scott topologies on products of countable complete Heyting algebras
    Xiaoquan Xu
    arXivPreprintCC BY 4.0Full textLogic & foundationsarXiv
  4. Scott topologies on meet-continuous domains
    Xiaoquan Xu
    arXivPreprintCC BY 4.0Full textLogic & foundationsarXiv
  5. The sobriety for locally compact dcpos
    Zhengmao He, Yujing Zhang
    arXivPreprintCC BY 4.0Full textGeometry & topologyarXiv
BibTeX
@misc{he2026sobriety,
  title = {{Sobriety of Scott topologies under countability conditions}},
  author = {Zhengmao He and Zhaochen Dong and Kaiyun Wang},
  howpublished = {arXiv},
  year = {2026},
  month = sep,
  doi = {10.48550/arxiv.2609.24001},
  eprint = {2609.24001},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2609.24001},
  note = {CC BY 4.0},
}
RIS
TY  - UNPB
TI  - Sobriety of Scott topologies under countability conditions
AU  - Zhengmao He
AU  - Zhaochen Dong
AU  - Kaiyun Wang
PY  - 2026
DA  - 2026/09/23
PB  - arXiv
DO  - 10.48550/arxiv.2609.24001
UR  - https://arxiv.org/abs/2609.24001
AB  - In this paper, we focus on the sobriety of the Scott topology in countable case. Specifically, we show that: (1) every meet-continuous core-compact countable dcpo is sober with respect to the Scott topology; (2)every countable locally compact dcpo is sober endowed with the Scott topology; (3) the lattice of all open sets for the rational numbers space Q equipped with the Scott topology is not sober.
ER  -