赵东生;徐罗山-基于Scott闭集的有向完备偏序集的唯一性格子

lmcs:1530个-计算机科学中的逻辑方法,2018年5月16日,第14卷第2期-https://doi.org/10.23638/LMCS-14(2:10)2018
基于Scott闭集的有向完备偏序集的唯一性格子第条

作者:赵东生;徐罗山

    类似于Drake和Thron关于拓扑空间的结果本文研究了完全确定的dcpos(有向完备偏序集),在所有dcpos中,通过所有Scott闭子集的格(这样的dcpos将称为$C_{\sigma}$-唯一)。我们引入了下行元素和拟连续元素的概念在dcpos中,并使用它们证明某些类的dcpos,包括所有准连续dcpos以及Johnstone和Kou的示例如下$C_{\sigma}$-唯一。因此,$C_{\sigma}$-唯一的dcpos及其Scott拓扑不需要有界清醒。


    资料来源:arXiv.org:1709.03700
    第14卷第2期
    发布日期:2018年5月16日
    受理日期:2018年4月23日
    提交日期:2016年7月14日
    关键词:数学-一般拓扑

    咨询统计

    此页面已被浏览1282次。
    本文的PDF已下载526次。