欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
对相容Domain引入了相容定向极小集的概念，证明了相容DomainD是相容连续Domain当且仅当D中的每个元在D中存在相容定向极小集，并给出了相容连续Domain的序同态扩张定理．
英文摘要：
Consistently direct minimal set is introduced for consistently domain. It is proved that for a consistently domain D, D is consistently continuous domains if and only if each x ∈ D, x has consistently direct minimal set,At last, extension theorem of homomorphism of consistently continuous domains is given.
同期刊论文项目
同项目期刊论文
位置：