几乎代数基与有界完备domain |
| |
引用本文: | 陈煜,寇辉.几乎代数基与有界完备domain[J].四川师范大学学报(自然科学版),2018(1). |
| |
作者姓名: | 陈煜 寇辉 |
| |
作者单位: | 四川大学数学学院; |
| |
摘 要: | 研究几乎代数dcpo的性质,并得到如下主要结果:1)具有可数几乎代数弱闭基的有界完备domain构成的范畴是Cartesian闭的;2)对每个具有(可数)几乎代数基的dcpo,其相容下幂domain是一个具有可数几乎代数弱闭基的有界完备domain.
|
本文献已被 CNKI 等数据库收录! |
|