a遞歸可枚舉集

a遞歸可枚舉集(a-recursively enumerable set)亦稱a-re集.a遞歸函式的定義域.集合C互a稱為a遞歸可枚舉(簡稱a-re )，是指C為一個部分a遞歸函式的定義域.換句話說，C是1.。上的一個馬集合.與經典遞歸論中r。集相似，任何a-re集也是某個a遞歸函式的值域，反之，任何a遞歸函式的值域也是a-re集.此外，所有a-re集可以被((a)能行地枚舉.即存在一個含有兩個變元的a遞歸函式g (.z ,。)，使得對任何。Ga}{.z}g(.z,e)=0}為a-re集.反之，對任何a-re集C，存在eo < a，使C= {.x }g(.z,eo)=0}.