摘要
本文证明了,存在递归可枚举集B6,B_i和C,使得C<rBa,B_1 deg(B)∩degr(B_t)=degr(C),且对任意递归可枚举集W,B_1≤wW,对任意递归可牧举集Ⅴ V) wgegw(C).
lu this paper. we show that there exist r.e. sets C, Bo and B_1, O<Bo, B_1 sucjr that deyr (Bo) ∩degr (B_1)=degr (C), and fer cuezy r.e. sets W. V. if B_1≤_wW and V _wC then degw (W) ∩ degw (V) degw (C).
出处
《云南师范大学学报(自然科学版)》
1989年第3期15-20,共6页
Journal of Yunnan Normal University:Natural Sciences Edition