基于Scott闭集的有向完备偏序集的唯一性格子第条
作者:赵东生;徐罗山
空##空
赵东生;徐罗山
类似于Drake和Thron关于拓扑空间的结果本文研究了完全确定的dcpos(有向完备偏序集),在所有dcpos中,通过所有Scott闭子集的格(这样的dcpos将称为$C_{\sigma}$-唯一)。我们引入了下行元素和拟连续元素的概念在dcpos中,并使用它们证明某些类的dcpos,包括所有准连续dcpos以及Johnstone和Kou的示例如下$C_{\sigma}$-唯一。因此,$C_{\sigma}$-唯一的dcpos及其Scott拓扑不需要有界清醒。
第14卷第2期
发布日期:2018年5月16日
受理日期:2018年4月23日
提交日期:2016年7月14日
关键词:数学-一般拓扑