a遞歸函式

a遞歸函式(a-recursive function) a遞歸論中能行性概念的表述.對可允許序數a，一個函式f;a->a稱為部分a遞歸函式，是指其圖象在L。上y可定義.作為a遞歸論中能行性的定義，這裡用到了集合論中的能行方法—定義.這樣，a遞歸論中的能行函式就被定義為在可定義性上較為“簡單”，或可稱為“能行”的函式.從另一個角度上說，如果把a遞歸函式看做具有a-r。圖象的函式，那么該函式的定義過程也可以看成一個枚舉過程.因此用“在L。上y”作為a-re的定義，進而得到a遞歸函式的定義也是合理的.