re脫殊集(re-generic set)一種脫殊集。
基本介紹
- 中文名：re脫殊集
- 外文名：re-generic set
re脫殊集一種脫殊集.它是馬斯(Maass , W.)給出的.傑克什(Jockusch,C. G. )最早把集合論力迫概念引人遞歸論，並給出了1脫殊集的概念.但1脫殊集不是re集，對re度的研究沒有作用.為此，馬斯引人了re脫殊集的概念(雖然後來傑克什定義的。脫殊集，，脫殊集與p脫殊集也是re的，但一般稱的“re脫殊集”都是指馬斯給出的脫殊集概念).在馬斯的定義中，有窮損傷的思想被隱含地包含在其中.其基本思想是:如果某個乞，性質有無窮多次機會被滿足(這種“機會”必須能夠在原始遞歸擴張中找到)，那么這個性質將被r。脫殊集滿足.馬斯證明re脫殊集的存在性，並指出re脫殊集都是低的即時單純集.此外，r。脫殊集都是p脫殊集.
