A note on coherence of dcpos
A note on coherence of dcpos
复制标题
关于 dcpos 一致性的说明
DOI：
10.1016/j.topol.2016.06.011
复制
发表时间：
2016-08
影响因子：
0.6
通讯作者：
Li Qingguo
中科院分区：
文献类型：
--
作者：
Jia Xiaodong;Jung Achim;Li Qingguo
在本文中，我们证明了一个滤除良好的dcpo L在其Scott拓扑中是相干的当且仅当对于每一个x， y∈L，↑x∩↑y在Scott拓扑中是紧致的。我们用这个结果证明了一个滤好的dcpo L是lawson紧的，当且仅当它是patch紧的，且仅当L是有限生成的，并且对于每个x， y∈L，在Scott拓扑中↑x∩↑y是紧的。
In this note, we prove that a well-filtered dcpo L is coherent in its Scott topology if and only if for every x, y∈ L,↑ x∩↑ y is compact in the Scott topology. We use this result to prove that a well-filtered dcpo L is Lawson-compact if and only if it is patch-compact if and only if L is finitely generated and↑ x∩↑ y is compact in the Scott topology for every x, y∈ L.
登录
查看更多内容
DOI：
10.1007/978-94-010-0654-5_3
发表时间：
2001
期刊：
--
影响因子：
--
作者：
H. Kou
通讯作者：
H. Kou
DOI：
10.1016/s1571-0661(05)80220-8
发表时间：
1997
期刊：
--
影响因子：
--
作者：
J. Lawson
通讯作者：
J. Lawson
DOI：
10.1017/cbo9780511542725
发表时间：
2003-04
期刊：
--
影响因子：
--
作者：
G. Gierz;K. Hofmann;K. Keimel;J. Lawson;M. Mislove;D. Scott
通讯作者：
G. Gierz;K. Hofmann;K. Keimel;J. Lawson;M. Mislove;D. Scott
DOI：
10.1007/978-94-017-1291-0_5
发表时间：
2003
期刊：
--
影响因子：
--
作者：
H. Kou;Ying-ming Liu;M. Luo
通讯作者：
H. Kou;Ying-ming Liu;M. Luo
DOI：
--
发表时间：
1993
期刊：
2007 IEEE/ACS International Conference on Computer Systems and Applications
影响因子：
--
作者：
A. Schalk
通讯作者：
A. Schalk