擬創造集

擬創造集(quasicreative set)創造集概念的推廣.若A是re集,並存在遞歸函式f,使WscA-->Dtc}> C A八Df(二。軍Wz(D二是典則下標為x的有窮集).創造集就是將上面的Drcs)換為.f (.})的特殊情況,因此創造集都是擬創造集,但反之不然,即存在擬創造的非創造集.集合A為擬創造的,若且唯若A為d完備的.與擬創造概念類似的,還有半創造與次創造概念.形式地,若A為re並存在f,使WzcA-'Wrc二)cA八Wt<z}筆W=>,則稱A為半創造集;若A, f使得:W}cA-}W fc}} }A l\ W f<z> cWz,則稱A為次創造集.集合A為次創造,若且唯若A為Q完備的.

相關詞條

熱門詞條

聯絡我們