【摘要】 本文在定向完备偏序集上引入网的广义S收敛的概念,并给出了拟连续domain的如下网式刻画:定向完备偏序集是拟连续的当且仅当广义S收敛关于Scott拓扑是拓扑的.该结果推广了Domain理论中关于连续domain的类似刻画.更多还原

【Abstract】 In this paper,the authors introduce a definition of generalizedS-convergence of nets on dcpos and give a characterization of quasi-continuous domains as follows:A dcpo is a quasi-continuous domain if and only if the generalized S-convergence is topological with the Scott topology.更多还原