节点文献
几乎代数基与有界完备domain
Almost Algebraic Bases and Bounded Complete Domains
【摘要】 研究几乎代数dcpo的性质,并得到如下主要结果:1)具有可数几乎代数弱闭基的有界完备domain构成的范畴是Cartesian闭的;2)对每个具有(可数)几乎代数基的dcpo,其相容下幂domain是一个具有可数几乎代数弱闭基的有界完备domain.
【Abstract】 In this paper,we study the properties of dcpos with almost algebraic bases. The main results are as follows: 1) The category of bounded complete domains with countable almost algebraic weakly closed bases is cartesian closed; 2) For any dcpo with an almost algebraic basis,its consistent lower powerdomain is a bounded complete domain with countable almost algebraic weakly closed bases.
【关键词】 几乎代数基;
有界完备domain;
相容下幂domain;
Cartesian闭范畴;
【Key words】 almost algebraic basis; bounded complete domain; consistent lower powerdomain; cartesian closed category;
【Key words】 almost algebraic basis; bounded complete domain; consistent lower powerdomain; cartesian closed category;
【基金】 国家自然科学基金(11371262)
- 【文献出处】 四川师范大学学报(自然科学版) ,Journal of Sichuan Normal University(Natural Science) , 编辑部邮箱 ,2018年01期
- 【分类号】O153.1
- 【被引频次】1
- 【下载频次】33