半连续格相关论文
本文研究了半连续格及半代数格上一些映射性质,讨论了强连续格的函数空间.给出了强连续格的嵌入定理;然后引入了半Scott拓扑与半La......
自从19世纪七十年代连续格与代数格被发现以后，连续格理论便成为了极为活跃的研究领域，对连续格理论的拓展也逐渐加深.半素理想是Y. ......
本文研究的主要内容是半连续格、相容连续偏序集及exact偏序集上的重要问题。 1.首先考虑了半连续格，这是连续格的推广。研究了......
近三十年来,数学与计算机科学的交叉,尤其是拓扑方法、格序结构、范畴结构等在计算机科学中的应用引起了人们的广泛关注.二十世纪7......
对完备格引入半素极小集的概念,证明完备格L为半连续格当且仅当L中的每个元在L中存在半素极小集,给出半连续格的两个序同态扩张定......
该文引入半Smooth格和半Smooth代数格的概念,讨论它们的一些基本性质及与半连续格的关系,证明了完备格L是半Smooth格和半连续格当......
对连续格、半连续格、半连续dcpo等的相关定义与主要性质进行比较,得到它们的联系与区别,作出一些补充,并给出半连续dcpo的局部半......
该文引入半连续格上的几个拓扑并讨论了它们的性质及它们之间的相互关系．...
在完备格上引入了半基和局部半基的概念，给出了半基和局部半基的性质及若干等价刻画，证明了一个完备格是半连续格当且仅当它具有半基......
本文讨论了半连续格的一些性质，在半连续格中引入半Scott开集族，用半Scott开集族来刻画半连续格,同时定义了半连续格之间的半连续映......
讨论了半连续格的一些基本性质。定义了一种新的元素——←-素元，举例说明←-素元与素元、伪素元是不同的，并给出了素元与素元、伪素......
研究了半连续格及半代数格的一些映射性质，讨论了强连续格的函数空间，给出了强连续格到方体的嵌入定理。......
就文献[3]中的命题4．7提供了一种简单证法。此外，我们给出了在半连续格条件下伪素元的内部刻画。最后，我们定义了一种新的元素——弱......
讨论了两类半连续格范畴有限乘积性的存在性,得到了SICp范畴具有有限乘积性而SICq范畴有限乘积不存在的结果,为进一步研究半连续格......
Domain理论是理论计算机科学的一个重要研究领域.序,拓扑,逼近与逻辑的相互转化、相互渗透是这一理论的基本特征Domain理论在自身......
在完备格上引入了半Scott拓扑与半Lawson拓扑，讨论了半连续格和强连续格上半Scott拓扑与半Lawson拓扑的一些基本性质。......
