遞歸等價

遞歸等價(recursive equivalence)遞歸論的基本概念之一指自然數集在遞歸意義下的等價關係.若A,B為自然數集,並且存在一一的部分遞歸函式筍,使得ACdom rp,並且抓A)=B,則稱A,B遞歸等價.由遞歸等價關係定義的(自然數集的)等價類,稱為遞歸等價型.遞歸等價關係類似於集合論中的等勢關係.遞歸等價型則類似於集合論中的基數概念.遞歸等價關係的概念是德克爾(Dekker,J.)於1955年引人的.

相關詞條

熱門詞條

聯絡我們