有序遞歸式

有序遞歸式(ordinal recursion schema)原始遞歸式的一種推廣形式.設長為自然數的一種(嚴格)良序關係,不妨假定0為長最小元.若函式B滿足條件B<(0)一。 bxE<x>0->B(x)<(x),則稱B為(長)前驅函式.。

基本介紹

  • 中文名:有序遞歸式
  • 外文名:ordinal recursion schema
設B為序前驅函式,g,h為已知函式,若函式滿足:
有序遞歸式
有序遞歸式
則稱f為在序“長”上依序遞歸定義的函式,上述稱為(關於序長的)有序遞歸式.當長即為通常的自然數序<,而B(u,x)=D(x)時,上式就是通常的原始遞歸式.但是,一般的有序遞歸式未必能化歸到原始遞歸式.此外,對原始遞歸式的各種加強形式,同樣可以引進到有序遞歸式上來.

相關詞條

熱門詞條

聯絡我們