即時單純集

即時單純集(promptly simple set)一種特殊的單純集,設A為余無窮的re集,如果存在遞歸函式f以及A的一個遞歸枚舉{A} }}。二,使得`deEm<We無窮~} s} x (x E Af}s}門(We,..+} -We,.,.則稱A為即時單純集.注意到余無窮:。集A為單純的,要求deEm(W。無窮~A門Wed曰),因此,即時單純性是單純性的一種加強.如果T度a中含有即時單純集,則稱a為即時單純度.全體即時單純度組成之集記為PS. PS恰好是全體不可交度之集NC.

相關詞條

熱門詞條

聯絡我們