arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~

具有余可数拓扑的实数集有一个有界完全dcpo模型

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

Dongsheng Zhao, Chong Shen, Xiaoyong Xi

arXiv 2608.03124首次发表:更新:

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.

论文原文

arXiv 摘要页 · PDF 原文 · HTML 原文

↑