Representations of Algebraic Domains and Algebraic L-domains by Information Systems

摘要：

　　the notions of the algebraic information system and algebraic L-information system.They are of the same logic-oriented style as the information system introduced by Scott(1982).But the axioms in this paper are briefer than reported in existing work.We also prove that the two new information systems exactly represent the algebraic domains and algebraic L-domains respectively.Based on the notion of approximable mapping between the algebraic information systems and the algebraic L-information systems,we obtain the result that the corresponding categories of algebraic information systems and algebraic L-information systems are equivalent to the category of algebraic domains and algebraic L-domains respectively.

关键词： Algebraic domain Algebraic L-domain Information system Category equivalence

作者: Mingyuan Wu Qingguo Li Xiangnan Zhou

作者单位: College of Mathematics and Econometrics Hunan University Changsha,P.R. China

会议类型: 国际会议

会议名称: The 6th International Symposium on Domain Theory and its Applications—ISDT’13(第六届Domain理论及应用国际学术研讨会)

会议地点: 长沙

会议语种:英文

页码: 117-129

在线出版日期: 2013-10-25（万方平台首次上网日期，不代表论文的发表时间）