摘要
对相容Domain引入了相容定向极小集的概念,证明了相容Domain D是相容连续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.
出处
《江西师范大学学报（自然科学版）》
CAS
北大核心
2011年第4期373-374,378,共3页
Journal of Jiangxi Normal University(Natural Science Edition)
基金
国家自然科学基金(10861007)
江西省自然科学基金(2007GZS0179
2009GZS0012)
全国优秀博士学位论文作者专项基金(2007B14)
江西省研究生创新专项资金(YC09A054)资助项目
关键词
相容连续Domain
相容定向极小集
序同态
扩张
consistentlycontinuous domains
consistently direct minimal set
homomorphism
extension
