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

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.