k-有界Sober空间相关论文
Domain理论作为理论计算机科学中程序设计语言的指称语义学的数学基础,由Scott在20世纪60年代末70年代初建立以来,已取得了丰富的......
产生于上世纪60年代末70年代初的Domain理论是由D.Scott建立,该理论与拓扑、代数、范畴等学科有着密切联系.1965年,L.A.Zadeh提出......
Sober空间在非Hausdorff拓扑与Domain理论中扮演着重要角色并且具有许多良好的性质.超sober空间是一类比sober空间更强的空间,k-有......
讨论了超Sober空间与k-有界Sober空间的一些性质,厘清相关拓扑之间的关系.特别地证明了一个空间是超Sober空间当且仅当其Smyth上幂......