S-limit相关论文
在局部dcpo上引入了S-极限的概念,并利用S-极限来刻划Scott拓扑和连续的局部dcpo.其主要结果:证明了U是Scott开集当且仅当U∈O(S);......
借助S-极限的概念,在相容定向完备集上引入相容Scott拓扑和相容连续Domain。得出以下结果:上集U是相容Scott开集当且仅当U∈O(S);......
