Skip to content

The set of real numbers with the cocountable topology has a bounded complete dcpo model

Dongsheng Zhao, Chong Shen, Xiaoyong Xi

math.GNarXiv:2608.03124

Abstract

We construct a bounded complete dcpo P whose maximal point space is homeomorphic to the set R of all reals equipped with the cocountable topology, thereby answering an open problem. Using this dcpo, we obtain a new complete lattice whose Scott space is non-sober.

Create a lesson