欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
证明了：（1）具有性质M的dcpo为拟连续domain当且仅当其上的下拓扑开集格在集合包含序下为连续格；（2）对于dcpo L，L为拟连续domain当且仅当∑L的Hoare空间为局部强紧空间。
英文摘要：
In this paper we prove that （1） For a dcpo L with property M, L is a quasicontinuous domain if and only if （ω）（L）, lohtain in） is a continuous lattice, where ω（L） is the lower topology on L; and （2） For a dcpo L, L is a quasicontinuous domain if and only if the Hoare space of ∑L is a locally strongly compact space.
同期刊论文项目
同项目期刊论文
位置：