伪补格上的弱Way-below关系

本文首先给出伪补格的定义,然后根据偏序集上Way-below关系的定义在伪补格上定义了弱Waybelow关系,并给出它的等价判定,从而得到伪补格上满足弱Way-below关系的元素的相关性质.

局部定向完备范畴及其上的辅关系

文章从局部化的思路出发,提出局部定向完备范畴的概念及在此结构下的way-below关系与连续性,讨论局部定向完备范畴上的辅关系,特别是way-below关系的一些性质,证明了在连续的局部定向完备范畴中way-below关系满足强插值性质.

拟连续Domain上的扩张定理

定义了拟定向极小集,并证明了拟连续Dom ain的每个元都有拟定向极小集,在拟连续Dom ain中,给出了保拟定向极小集映射的几个等价刻画,并且在此基础上得到了拟连续Dom ain上的两个相应扩张定理。

拟Z-极小集及其应用

定义了拟Z-极小集,并证明了拟Z-连续Domain的每个元都有拟Z-极小集,在拟Z-连续Domain中,给出了保拟Z-极小集映射的几个等价刻画,并且在此基础上,运用Rudin性质,得到了拟Z-连续Domain上的两个相应扩张定理。

模糊domain的一个等价刻画定理(英文)

基于完备剩余格,借助于模糊Galois联络,给出了模糊domain更为细致的一个等价刻画定理,丰富了量化domain的理论知识.

相对连续偏序集及其应用

提出相对定向集和相对定向完备集的概念,并在相对定向完备集上引入相对双小于关系.利用相对way below关系引入相对连续偏序集的概念,探讨了其一些等价条件,并证明了相对连续偏序集具有相对T的遗传性.

模糊度量空间的一些结果(英文)

指出在Erceg’s伪度量公理中(B3)条件对讨论它的诱导拓扑不是本质的。基于这个结果,给出它的两种诱导拓扑的关系。最后,在Erceg’s伪度量集合上构造一个非平凡的一一映射。

关于自然偏序集的自然连续性

在自然偏序集中引入自然way-below关系,定义自然偏序集的自然连续性。证明在自然连续的自然偏序集上,自然way-below关系具有插入性,自然Scott开集格是完全分配格。利用∑*收敛刻画了自然偏序集上的自然way-below关系,自然Scott拓扑和自然连续性。