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

Pre-Information Base ω-Algebraic Cpo,and SFP Domain

作　　者：陈学友[1] 李庆国[2] 曹永林[1] 

机构地区：[1]山东理工大学数学与信息科学学院,山东淄博255012 [2]湖南大学数学与计量经济学院,湖南长沙410082

出　　处：《数学的实践与认识》2006年第9期205-211,共7页Mathematics in Practice and Theory

基　　金：国家自然科学基金(10471035/A010104);山东省自然科学基金(2003ZX13)

摘　　要：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的刻划.G. Sambin introduced the（algebraic） information base, and proved the equivalence between the category of algebraic Scott domains and the category of information bases. B. R. C. Bedregal obtained tbe representations of ω-algebraic epo and SFP domain in. Zhang also gave the representation of SFP domain by sequent strtleture. In our work, we will introduce the notion of pre-information base, and give the representations of ω-algebraic epo and SFP domain.

关 键 词：ω-代数cpo SFP DOMAIN 拟信息基 

分 类 号：O142[理学—数学]