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

摘要：

G.Sambin引人了(代数)信息基的概念,并证明了代数Scott Domain范畴和信息基范畴是等价的.B.R.C.Bedregal给出了ω-代数cpo和SFP domain的刻划.而G.Q.Zhang通过序结构给出了SFP domain的刻划.本文将引入了拟信息基的概念并给出了ω-代数cpo和SFP domain的刻划.

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

所属期刊栏目：36

分类号：O1(数学)

资助基金：国家自然科学基金10471035;A010104;山东省自然科学基金2003ZX13

在线出版日期：2006-12-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：205-211