关于相对反杯性质的一个结果

导出

摘要 1 主要定理及需求递归可枚举度可杯与反杯性质的研究是递归论研究的重要课题之一,本文将证明如下定理:定理1 对任意r.e.度b和高r.e.度d满足b(?)d,存在r.e.度a使得a(?)b并且a是d的一个反杯证据.本文采用文献[1]和文献[2]中的基本概念和术语.称函数f支配g,如果对几乎所有的X,

作者张再跃

机构地区扬州大学师范学院数学系

出处《科学通报》 EI CAS CSCD 北大核心 1995年第22期2022-2025,共4页 Chinese Science Bulletin

基金国家863高科技项目基金资助

关键词递归可枚举度递归论反杯性质递归函数

分类号 O141.3 [理学—基础数学]

引文网络
相关文献

1李昂生.递归可枚举度的强分解定理[J].数学学报（中文版）,1992,35(2):251-256. 被引量：1
2张再跃.商偏序R/M非零等价类中存在不可比代表元[J].扬州师院学报（自然科学版）,1997,17(4):1-8.
3蒋志根.低R.E度上D.R.E.度的非稠密性[J].数学年刊（A辑）,1993,1(5):501-506.
4陆宏,丁德成.在d-r.e.度结构中真d-r.e.分支度的弱稠密性[J].中国科学（A辑）,1999,29(2):97-104.
5蒋映.无穷损害方法的框架模式[J].云南师范大学学报（自然科学版）,1995,15(3):19-25.
6李昂生,眭跃飞.递归可枚举度临界性问题的一个结果(Ⅰ)[J].数学学报（中文版）,1993,36(5):654-661.
7张再跃,眭跃飞.每个非零的 a∈ R/ M中不存在极小元(英文)[J].软件学报,2000,11(11):1425-1429. 被引量：1
8蒋志根.d.r.e.度中钻石格的嵌入[J].中国科学（A辑）,1993,23(2):137-143.
9张再跃.关于递归可枚举度可杯可盖性质的一道命题[J].扬州师院学报（自然科学版）,1997,17(1):1-5.
10李昂生.关于伪JUMP运算的一些结果Ⅰ[J].云南师范大学学报（自然科学版）,1991,11(1):1-10.

科学通报

1995年第22期

浏览历史

内容加载中请稍等...

关于相对反杯性质的一个结果

相关作者

相关机构

相关主题

浏览历史