可加广义代数格上的 Tietze 扩张定理

可加的广义代数格范畴与 T₀ 拓扑空间范畴相等价, 从这个观点出发, 作者把可加广义代数格作为一个闭集格, 在其上建立 Urysohn 引理和 Tietze 扩张定理. 这是拓扑理论在格上的一种新推广, 有助于格上拓扑理论的研究和广义连续格理论的应用.     

连续信息基

D.Scott在20世纪60年代引入了domain理论,并给出了两种等价形式——信息系统和邻域系。在型论(typetheory)基础上,G.Sambin提出了形式拓扑(Formal topology)理论,并证明了一元形式拓扑与代数Scott domain等价,从而推出代数信息基的概念,同时作为信息系统与邻域系的推广。本文从信息基的观点出发,提出了连续信息基的概念,证明了它与连续Scott domain的等价性。     

德摩根一致代数的度量化

我们给出了德摩根一致代数可伪度量化的一个充分必要条件。     

德摩根拓扑代数上的紧性与q—收敛性

在文（１），（２），（３）的基础上，我们首先在德摩根拓扑代数上用有限覆盖性质定义了紧性，并引入ω－元，ω－ｄ－ｑ－聚点等概念，并着重讨论了紧性与ｑ－收敛性之间的关系。     

德摩根拓扑代数上的u-紧性与u-收敛性

定义了德摩根拓扑代数（Ｌ,Ｑ,Ｔ）上的ｕ收敛性,并利用ｕ收敛性,讨论了ｕ紧的有关性质。     

双拓扑代数可拟邻近化的一个充要条件

在具有逆序对合对应的完全分配格上研究了拟邻近结构和双双完全正则之间的联系,得到了双拓扑代数可拟邻近化的一个充要条件.     

德摩根代数上的拟一致和拟邻近

在［１］［２］［３］基础上，我们在德摩根代数上建立了拟一致和拟邻近两个新概念，并着重讨论了它们之间的关系。     

拟信息基,ω-代数Cpo,和SFP domain

G.Sam b in引入了(代数)信息基的概念,并证明了代数Scott D om a in范畴和信息基范畴是等价的.B.R.C.Bedrega l给出了ω-代数cpo和SFP dom a in的刻划.而G.Q.Zhang通过序结构给出了SFP dom a in的刻划.本文将引入了拟信息基的概念并给出了ω-代数cpo和SFP dom a in的刻划.     

德摩根代数一个可拟一致化的充要条件

给出德摩根双拓扑代数(L，Q，τ，σ)可拟一致化的一个充要条件。