摘要
本文在定向完备偏序集上引入网的广义S收敛的概念,并给出了拟连续domain的如下网式刻画:定向完备偏序集是拟连续的当且仅当广义S收敛关于Scott拓扑是拓扑的.该结果推广了Domain理论中关于连续domain的类似刻画.
In this paper, the authors introduce a definition and give a characterization of quasi-continuous domains as f and only if the generalized S -convergence is topological wi generalized S -convergence of nets on dcpos ows：A dcpo is a quasi-continuous domain if the Scott topology.
出处
《四川大学学报（自然科学版）》
CAS
CSCD
北大核心
2014年第3期433-435,共3页
Journal of Sichuan University(Natural Science Edition)
关键词
广义S收敛
拟连续
拓扑收敛
Generalized S -convergence
Quasi-continuous
Topological convergence
