有界完备dcpo上的线性逼近——强线性FS-domain

作者利用有上伴的映射构成的函数空间定义了有界完备dcpo上的强线性FS-domain, 并讨论了它和线性FS-格的关系以及它的拓扑、范畴等性质.     

半连续dcpo的局部半基的若干理论

对连续格、半连续格、半连续dcpo等的相关定义与主要性质进行比较,得到它们的联系与区别,作出一些补充,并给出半连续dcpo的局部半基的概念,从而得到一些相关性质与结论.     

关于格上二元运算“-”的性质研究

在格上定义了二元运算"—",得到一些运算性质,通过给出分散完备格的概念与性质,得出分散完备格与关于"-"运算满足分配律的格的等价性的刻画,最后,并在格矩阵上也定义了二元运算"—",从而得到相关性质与结论.     

Domain上的扩张定理

对定向极小集进行了进一步的研究，给出了Domain中保定向极小集映射与保定向并和《映射之间的等价刻画及其有关的性质，在此基础上得到了关于保定向极小集映射的两个相应的扩张定理。     

半连续dcpo

作为半连续格的推广,引入半素集和半连续dcpo的概念,并讨论半连续dcpo的性质,在半连续dcpo中得到类似于半连续格的一些主要结果.同时研究了dcpo的内蕴拓扑——半Scott拓扑、半Lawson拓扑,证明了上集U半Lawson开当且仅当U为半Scott开,下集U半Lawson闭当且仅当U为半Scott闭.最后研究了半连续映射,证明了若保序映射f半连续,则f关于半Scott拓扑是连续映射.