超超單純集

超超單純集(hyperhypersimple set)亦稱hh單純集.一種特殊集合.是波蘭一美國數理邏輯學家波(Post,E. L.)為解決其波斯特問題引進的一種集合,也是對h單純集概念的進一步加強.設A為re集。

若A為hh禁集,則稱A為hh單純集.當A為hh單純集時,A一定是h單純集,但反之不然.實際上,任何非遞歸:e7’度中都含有非hh單純的h單純集.另外,由於存在T完全的hh單純集(參見“極大集”),因此,用hh單純集仍不足以解決波斯特問題.不過,蘇羅維夫(Soloviev, V. D.)於1974年證明了,如果A為hh單純的,則A一定是非Q完全

相關詞條

熱門詞條

聯絡我們