摘要
在本文中我们证明,对任何给定的两个r、e度b、e,若c≮b,则存在r、e度a≮b,使得c≮a∪b,即a相对于b,c的“不小于”关系(≮)具有可知性质。
It is proved that for any r.e. degrees b and c, if c ≮b then there exists an r.e. degree a≮b, such that c≮a∪b, namely, a has the addible property to the relation '≮' between b and c.
出处
《云南师范大学学报（自然科学版）》
1992年第1期1-5,共5页
Journal of Yunnan Normal University:Natural Sciences Edition
基金
云南省科委应用基础研究基金
关键词
逆归可枚举度
其步集
损害集
recursive enumerable degree(r.e. degree) the stage(sets) Injury(sets)
