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

作者：李昂生; 眭跃飞

来源：数学学报, 1993, (05): 654-661.

• r.e.度(递归可枚举度)

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

• 出版日期1993
• 单位中国科学院软件研究所