强代数格相关论文
Domain理论产生于20世纪70年代早期D.Scott为解决计算机程序设计语言语义学问题对连续格的研究。Domain理论主要以满足一定条件的偏......
本文拓展了半连续格理论的框架,引入了拟半连续格和拟半代数格等概念,讨论了它们的一些基本性质; 给出了强代数格和强算术格的拓扑......
用具有超紧开集组成的基的Sober空间范畴给出了强代数格的拓扑表示定理,并引入了强算术格的概念,进一步给出了强算术格的拓扑表示......
讨论z-代数偏序集一些性质,主要证明Z-代数偏序集范畴对偶等价于强代数格范畴的一个满子范畴。......
对于Z-连通集系统,本文引入了Z-连通代数偏序集的概念,证明了Z-连通代数偏序集范畴对偶等价于强代数格范畴的一个满子范畴。......