关于递归可枚举度可杯可盖性质的一道命题  

A RESULT ABOUT CUP-CAP PROPERTIES IN R.E.DEGREES

作　　者：张再跃 

机构地区：[1]扬州师院数学系

出　　处：《扬州师院学报（自然科学版）》1997年第1期1-5,共5页

摘　　要：运用关键点编码技巧构造性地证明了在递归可枚举度集中,对任给的非递归的递归可枚举度d,存在可盖的递归可枚举度 a 和递归可枚举度 c 满足 dc,并且有 d≤a∪ .Useing the method of key-point coding,this paper gives out a constructing proof of the result that for any nonrecursive r.e.degree d,there is a r.e.degree c and cappable r.e.degree a such that dc and d≤a∪.

关 键 词：递归可枚举度 可杯性 可盖性 

分 类 号：O141.3[理学—数学]