基于Scott闭集格的有向完全偏序集的独特性
摘要:关于拓扑空间的一个结果是由Drake和Thron提出的, 本文研究了在所有非空Scott闭子集格上完全确定的dcpos(称为$C\_{sigma}$-唯一的dcpos)。我们引入了dcpos中的下线性元素和拟连续元素的概念,并使用它们来证明了某些类别的dcpos是$C\_{sigma}$-唯一的,包括所有拟连续dcpos以及Johnstone和Kou的例子。作为结果,具有其Scott拓扑的$C\_{sigma}$-唯一的dcpos不一定需要有界的sober性质。
作者:Dongsheng Zhao, Luoshan Xu
论文ID:1709.03700
分类:General Topology
分类简称:math.GN
提交时间:2023-06-22