AI 中文总结
本研究构造有界完全dcpo P,解决了余可数拓扑实数集的dcpo模型公开问题,还得到了Scott空间非索伯的新完全格。
AI 中文摘要
我们构造了一个有界完全dcpo P,其极大点空间与配备余可数拓扑的全体实数集R同胚,从而解决了一个公开问题。利用该dcpo,我们得到了一个新的完全格,其Scott空间是非索伯的。
英文摘要
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.