期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
局部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
职称材料
题名
局部dcpo和相容dcpo的交连续性
被引量:
4
1
作者
徐爱军
王戈平
机构
徐州师范大学数学系
出处
《徐州师范大学学报(自然科学版)》
CAS
2005年第2期35-39,共5页
基金
国家自然科学基金资助项目(10371079)
文摘
在局部dcpo和相容dcpo中引入了交连续的概念,并证明了它们在半格情况下等价.本文的主要结果是定理1,定理2,定理3.
关键词
相容
局部
连续性
定理
等价
半格
Keywords
local
directed
complete
poset
Lawson
topology
meet
continuity
分类号
O157.5 [理学—数学]
O171 [理学—基础数学]
下载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-极限
Keywords
local
directed
complete
poset
Scott
topology
S-limit
分类号
O153.1 [理学—数学]
O189.2 [理学—基础数学]
下载PDF
职称材料
题名
代数的局部完备集范畴和FS-局部dcpo范畴的笛卡儿闭性
被引量:
2
3
作者
徐爱军
王戈平
机构
徐州师范大学数学系
出处
《数学进展》
CSCD
北大核心
2006年第4期485-492,共8页
基金
国家自然科学基金(No.10371079).
文摘
本文引入了代数的局部完备集,FS-局部dcpo,局部稳定映射等概念.主要结果是:以局部Scott连续映射为态射的代数的局部完备集范畴,以局部稳定映射为态射的代数的局部完备集范畴以及以局部Scott连续映射为态射的FS-局部dcpo范畴都是笛卡儿闭范畴.
关键词
局部完备集
FS-局部dcpo
局部稳定映射
笛卡儿闭范畴
Keywords
local
complete
poset
FS-
local
directed
complete
poset
local
stable
function
Cartesian
closed
category
分类号
O189.1 [理学—数学]
O153.1 [理学—基础数学]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
局部dcpo和相容dcpo的交连续性
徐爱军
王戈平
《徐州师范大学学报(自然科学版)》
CAS
2005
4
下载PDF
职称材料
2
局部dcpo上的S-极限
李玉清
康筱锋
《西安理工大学学报》
CAS
2005
1
下载PDF
职称材料
3
代数的局部完备集范畴和FS-局部dcpo范畴的笛卡儿闭性
徐爱军
王戈平
《数学进展》
CSCD
北大核心
2006
2
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部