The sobriety for locally compact dcpos

Zhengmao He, Yujing Zhang

In this paper, we focus on an open problem whether every locally compact dcpo is sober for the Scott topology. Specifically, we obtain two sufficient conditions for answering this…