遞歸集下標(index for a recursive set)遞歸論的基本概念之一指全體遞歸集的編碼.
遞歸集可以用不同的方法加以編碼，從而也有不同的下標.主要有下列三種:
1. re下標.由於遞歸集都是re集，因此，它有作為re集時的下標，這種下標便稱為re下標，也稱為乏;下標.若A為遞歸集，則有。使A=We，此。便是A之r。下標.
2.特徵下標.設A為遞歸集，其特徵函式CA為遞歸函式，從而有e使CA-}Pr.此時使稱。為A的特徵下標或乃。下標，並記’A為C，. 3.互補下標.若A為遞歸集，則A,A均為re集.從而有a,b，使A=W} }. A=Wn.此時稱。=(a,腳為A的互補下標或△，下標.同時可把A記為凡.其中<·，·>為某個固定的遞歸配對函式.特徵下標和互補下標是等價的，即從其中一個便可能行地找到另一個.另外，由遞歸集的特徵下標(或互補下標)可以能行地找到其r。下標，但反之不然.遞歸集的特徵下標與互補下標反映了該集合相同的信息.而且它們都比re下標反映的信息多.
1. re下標.由於遞歸集都是re集，因此，它有作為re集時的下標，這種下標便稱為re下標，也稱為乏;下標.若A為遞歸集，則有。使A=We，此。便是A之r。下標.
2.特徵下標.設A為遞歸集，其特徵函式CA為遞歸函式，從而有e使CA-}Pr.此時使稱。為A的特徵下標或乃。下標，並記’A為C，. 3.互補下標.若A為遞歸集，則A,A均為re集.從而有a,b，使A=W} }. A=Wn.此時稱。=(a,腳為A的互補下標或△，下標.同時可把A記為凡.其中<·，·>為某個固定的遞歸配對函式.特徵下標和互補下標是等價的，即從其中一個便可能行地找到另一個.另外，由遞歸集的特徵下標(或互補下標)可以能行地找到其r。下標，但反之不然.遞歸集的特徵下標與互補下標反映了該集合相同的信息.而且它們都比re下標反映的信息多.
