拟连续domain的网式刻画 (2014年)

【文件属性】：

文件名称：拟连续domain的网式刻画 (2014年)

文件大小：105KB

文件格式：PDF

更新时间：2024-05-29 18:52:08

自然科学 论文

本文在定向完备偏序集上引入网的广义S收敛的概念，并给出了拟连续domain的如下网式刻画：定向完备偏序集是拟连续的当且仅当广义S收敛关于Scott拓扑是拓扑的．该结果推广了Domain理论中关于连续domain的类似刻画．