摘 要: | 本文所用符号与[11同.吻,叭,…为一切递归可枚举集之一排列,它满足:二〔叽嘴=)(五夕)Mi(,,x,y)(。,见[1]67页).奋。(二),宁、(二),…为一切一元部分递归函数之一排列,它满足:q。(二)有定义<=乡(Ey)TI(,,x,y)(q‘见[l]91页). Smullyan引进了能行单纯集的定义[2],定义为:递归可枚举集a称为能行单纯集,若在为无穷集,且有一般递归函数了(劝,使得对一切,,若Lo。C压,则,(动>。。的势. 能行单纯集的定义是根据;(劝对在中。,的势的优超性而给出的.那么,我们可以间,基于优超性而建立的函数族的分层,可否用来对上述集合构成的类或其中一子类进行分…
|