极小度

极小度(minimal degree)是递归论的基本概念之一。指一种小的不可解度。对不可解度a，如果a>0，且不存在不可解度b，使a>b>0，则称a为极小度。极小度(minimal degree)是递归论的基本概念之一。指一种小的不可解度。对不可解度a，如果a>0，且不存在不可解度b，使a>b>0，则称a为极小度。斯派克特(Spector，C.)最早证明了极小度的存在性。由于re度的稠密性，re度都不是极小度，但在0′之下存在极小度。极小度的个数为2个。库珀(Cooper，S.B.)证明了任何≥0′的度都是极小度的跳跃逆，即对任何b≥0′，存在极小度a，使a′=a∪0′=b。此外，所有极小度还构成了D的自同构基。