基于 Scott 闭集格的定向完备偏序集的唯一性

类比于 Drake 和 Thron 关于拓扑空间的结果，本文研究了在所有定向完备偏序集（dcpos）中由其所有 Scott 闭子集格完全确定的 dcpos（此类 dcpos 将被称为 $C_{\sigma}$-唯一）。我们在 dcpos 中引入了下线性元和拟连续元的概念，并利用它们证明了某些类的 dcpos（包括所有拟连续 dcpos 以及 Johnstone 和 Kou 的示例）是 $C_{\sigma}$-唯一的。作为一个推论，具有其 Scott 拓扑的 $C_{\sigma}$-唯一 dcpos 不必是有界 sober 的。