期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
局部dcpo和相容dcpo的交连续性 被引量:4
1
作者 徐爱军 王戈平 《徐州师范大学学报(自然科学版)》 CAS 2005年第2期35-39,共5页
在局部dcpo和相容dcpo中引入了交连续的概念,并证明了它们在半格情况下等价.本文的主要结果是定理1,定理2,定理3.
关键词 相容 局部 连续性 定理 等价 半格
下载PDF
局部dcpo上的S-极限 被引量:1
2
作者 李玉清 康筱锋 《西安理工大学学报》 CAS 2005年第2期216-218,共3页
在局部dcpo上引入了S极限的概念,并利用S极限来刻划Scott拓扑和连续的局部dcpo。其主要结果:证明了U是Scott开集当且仅当U∈O(S);D是连续的局部dcpo当且仅当,S收敛是关于Scott拓扑的拓扑收敛。
关键词 局部定向完备集 SCOTT拓扑 S-极限
下载PDF
代数的局部完备集范畴和FS-局部dcpo范畴的笛卡儿闭性 被引量:2
3
作者 徐爱军 王戈平 《数学进展》 CSCD 北大核心 2006年第4期485-492,共8页
本文引入了代数的局部完备集,FS-局部dcpo,局部稳定映射等概念.主要结果是:以局部Scott连续映射为态射的代数的局部完备集范畴,以局部稳定映射为态射的代数的局部完备集范畴以及以局部Scott连续映射为态射的FS-局部dcpo范畴都是笛卡... 本文引入了代数的局部完备集,FS-局部dcpo,局部稳定映射等概念.主要结果是:以局部Scott连续映射为态射的代数的局部完备集范畴,以局部稳定映射为态射的代数的局部完备集范畴以及以局部Scott连续映射为态射的FS-局部dcpo范畴都是笛卡儿闭范畴. 展开更多
关键词 局部完备集 FS-局部dcpo 局部稳定映射 笛卡儿闭范畴
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部