加载中…
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 problem. The main results are (1) every meet continuous locally compact coherent dcpo is sober with respect to the Scott topology; (2) the Scott space of every locally compact second countable dcpo is a sober space.

生成讲解博客的中文版本

生成AI智能校验的中文版本