包含遞歸集的度稱為遞歸度(recursive degree)。
基本介紹
- 中文名:遞歸度
- 外文名:recursive degree
- 所屬學科:數理邏輯
遞歸度(recursive degree)遞歸論的基本概念之一包含遞歸集的度稱為遞歸度.對應不同的化歸,也可以定義不同的遞歸度,如遞歸7'度,遞歸m度等.在大多數情況下,遞歸度中包含的集合都是遞歸集.對於1度與m度,它們都有不止一個遞歸度,而對於1度、wtt度、tt度和btt度而言,遞歸度只有一個—即所有遞歸集的類,記為0,它是對應的度結構中的最小元.