摘要
结合K Ambos Spies构造强不可交度的方法和分支度构造方法证明了定理
s:In this paper, by using the method of K.Ambos spies, weve proved that there exists a branch degree which is strongly non capable.
出处
《贵州科学》
2000年第4期249-259,共11页
Guizhou Science
关键词
枚举度
强不可交度
分支度
无穷损害优先法
recursively enumerable degree
strongly non capable degree
branch degree
