RelatioR/M中的与 R中的≤_T的关系(英文)  

Relation ofin R/M and ≤_T in R

作　　者：眭跃飞[1] 

机构地区：[1]中国科学院软件研究所,北京100080

出　　处：《软件学报》2000年第6期745-750,共6页Journal of Software

基　　金：国家自然科学基金!No.6 96 730 17&&

摘　　要：证明存在递归可枚举图灵度 a和 c使得 c a,并且对每个递归可枚举图灵度 b≤ Ta,b≠ c,其中 a是 R/M中的一个元素 ,R/ M是递归可枚举图灵度集 R模可盖图灵度集 M的商 .It is proved that there are r.e. degrees a and c such that [c][a] and [b]≠[c] for any r.e. degree b≤ T a, where [a] is an element of R/M, the quotient of the recursively enumerable degrees R modulo the cappable degrees M.

关 键 词：递归可枚举度 弱真值表归约 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]