递归可枚举度临界性问题的一个结果(Ⅰ)  

作　　者：李昂生[1] 眭跃飞[1] 

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

出　　处：《数学学报（中文版）》1993年第5期654-661,共8页Acta Mathematica Sinica：Chinese Series

基　　金：国家自然科学基金;国家青年自然科学基金资助;云南省基础应用研究基金

摘　　要：本文证明:对任 cappable r.e.度■,存在 r.e.度■和■使得■>■,■∧■=0且对任 r.e.度■,如果■且■,那么■∧■≠■.

关 键 词：递归可枚举度 临界性 主子度 

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