a度

^[1]  a度(a-degree)遞歸論的基本概念之一指由a相對遞歸性導出的等價類概念.與古典遞歸論相似，所有a形成上半格，此外，它們與古典遞歸論的圖靈度有許多相似之處.如a-re度結構是稠密的(對一切可允許序數a).對許多可允許序數，存在a-r。的極小對.但在a＞。之後，Or以下。度的結構和0‘以下a度的結構不同構.