摘要
本文结合K.Ambos-Spies构造强不可交度的方法和非分支度构造方法证明了定理: 存在强不可交的非分支度。
In this paper we combined two kinds of methods in recursion theory to construct and prove the following result: There exists a degree which is strongly noncappable and nonbranching.
出处
《贵州科学》
1991年第3期179-186,226,共9页
Guizhou Science
关键词
强不可交度
非分支度
能行枚举度
effectively enumerable degree
strongly noncappable degree
non-branching degeer
