期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

递归可枚举的脱殊的Turing度的构造

原文传递

导出

摘要 Jockusch和Ingrassia分别在1985年和1980年提出了e-脱殊性,s-脱殊性和p-脱殊性等递归可枚举的脱殊性的概念。并证明了递归可枚举的脱殊性有许多重要性质。我们曾分析了p-脱殊的r.e.的Turing度内的wtt-度的构造,证明了p-脱殊的r.e.

作者丁德成

机构地区南京大学数学系

出处《科学通报》 EI CAS CSCD 北大核心 1992年第12期1057-1059,共3页 Chinese Science Bulletin

基金国家自然科学基金

关键词递归可枚举脱殊集脱殊度

分类号 O144 [理学—基础数学]

引文网络
相关文献

1丁德成.r.e.的脱殊集的子集的性质[J].数学年刊(A辑),1994,1(4):379-385.
2张再跃,眭跃飞.每个非零的 a∈ R/ M中不存在极小元(英文)[J].软件学报,2000,11(11):1425-1429. 被引量：1
3吴佳森,宋方敏.R-演算中若干问题的研究[J].计算机研究与发展,2012,49(4):833-838.
4吴淑岩.关于EPICURUS和OCCAM归纳推理[J].广西师范大学学报（自然科学版）,1996,14(4):11-16.
5谷新民.关于递归控制Turing可化归性[J].江苏理工大学学报（自然科学版）,1996,17(5):109-112.

科学通报

1992年第12期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部