相容连续Domain的序同态扩张 (2011年)

【文件属性】：

文件名称：相容连续Domain的序同态扩张 (2011年)

文件大小：341KB

文件格式：PDF

更新时间：2024-06-09 19:00:37

自然科学 论文

对相容Domain引入了相容定向极小集的概念，证明了相容Domain D是相容连续Domain当且仅当D中的每个元在D中存在相容定向极小集，并给出了相容连续Domain的序同态扩张定理。