空间式frame相关论文
本文利用引入的KS性质,刻划了那些其Scott拓扑可由开滤子生成的分配备格.该结果也是对[1]中一公开问题的一种解答.本文的刻划定理对......
在分配格中引入了次极大滤子的概念,并以此给出了分配格的滤子格是空间式frame的一种新证明,然后研究了次极大滤子在Heyting代数中......
DCPO L被称作Σ-core紧的,如果当L赋以Scott拓扑后是一个core紧空间,长期以来,从序结构的角度刻划那些Σ-core紧的DCPO一直是悬而未解的问题。在一定的限制条件下讨......