a度

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

相關詞條

熱門詞條

聯絡我們