相对算术关系(relativized arithmetical rela -tion)算术关系概念的相对化.对自然数集A和关系R,若R可表示成(G2}.za ) (R2.z'2 ) ".. (G2.z' ) S (.z}, ,a.z}...}}},aaz,...}am)的形式,其中621,}z,...,}}为量词d或",S为相对A递归的关系,则称R为相对于A的算术关系.若集合B是相对于A的(一元)算术关系,即B可表示成:{ .x : ( G2, W( 62zyz"二(Rny}>S(y},y2,...,yn,.}>}其中62} } 622,一,Q,为量词,S为相对于A递归的n+1元关系,则称B为对于A的算术集,并记为B砚QA,亦称B可算术化归到A.由算术化归关系可导出算术等价的概念.对合A,B,若A镇aB,并且B镇QA,则称A,B算术等价,记为A=}B.相对算术关系(relativized arithmetical rela -tion)算术关系概念的相对化.对自然数集A和关系R,若R可表示成(G2}.za ) (R2.z'2 ) ".. (G2.z' ) S (.z}, ,a.z}...}}},aaz..}am)的形式,其中621,}z..,}}为量词d或",S为相对A递归的关系,则称R为相对于A的算术关系.若集合B是相对于A的(一元)算术关系,即B可表示成:{ .x : ( G2, W( 62zyz"二(Rny}S(y},y2..,yn}}其中62} } 622,一,Q,为量词,S为相对于A递归的n+1元关系,则称B为对于A的算术集,并记为B砚QA,亦称B可算术化归到A.由算术化归关系可导出算术等价的概念.对合A,B,若A镇aB,并且B镇QA,则称A,B算术等价,记为A=}B.