关于不可解度的若干结论

从Post问题解决到现在,不可解度的研究一直是递归论的重要课题之一。在非递归可枚举度方面,极小度、极小覆盖、脱殊度等不可解度是人们很感兴趣的。Feferman最早定义了脱殊集合,脱殊度有很多有趣性质,比如Jockusch证明了1-脱殊度具有相对递归可数性。本文则考虑脱殊度的相对性,提出相对另一个度的脱殊度概念,我们首先得出相对脱殊