国家自然科学基金(10471035A010104) 作品数:4 被引量:4 H指数:1 相关作者: 陈学友 李庆国 邓自克 龙飞 曹永林 更多>> 相关机构: 湖南大学 山东理工大学 更多>> 发文基金: 山东省自然科学基金 国家自然科学基金 更多>> 相关领域: 理学 更多>>
拟信息基,ω-代数Cpo,和SFP domain 2006年 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的刻划. 陈学友 李庆国 曹永林关键词:SFP DOMAIN 可加广义代数格上的分离性 被引量:1 2006年 邓自克教授提出的可加的广义代数格范畴,等价于T0—拓扑空间范畴.从而可加的广义代数格可以看作为一个闭集格,在本文,我们建立了正则、完全正则、正规等分离性. 陈学友 邓自克 李庆国关键词:可加性 分离性 可加广义代数格上的Tietze扩张定理 被引量:2 2007年 可加的广义代数格范畴与T0拓扑空间范畴相等价,从这个观点出发,作者把可加广义代数格作为一个闭集格,在其上建立Urysohn引理和Tietze扩张定理.这是拓扑理论在格上的一种新推广,有助于格上拓扑理论的研究和广义连续格理论的应用. 陈学友 李庆国 龙飞 邓自克关键词:完备格 可加性 代数L-Domain的函数空间 被引量:1 2007年 利用梁基华教授等提出的步函数的新定义,讨论了一般情况下代数L-domain的函数空间.证明了如果L_1和L_2都是代数的L-domain,则函数空间[L_1→L_2]也是代数的L-domain. 李庆国 陈学友关键词:L-DOMAIN WAY-BELOW关系