n脫殊集，數學術語。
基本介紹
- 中文名：n脫殊集
- 外文名：n-generic set
n脫殊集，1脫殊集概念的推廣.如果集合A不具有“特殊”的藝，性質，則它稱為n脫殊集.形式地，集合A為n脫殊集，是指對任何乏，的有窮。,1串集合S，或者存在aCA，使aES;或者存在aCA，使得對任何:a,r諾S.包含n脫殊的度稱為n脫殊度.對任何n，存在鎮0‘的n脫殊度，並且對n脫殊度a,an-a n(n).此外，與1脫殊集的性質類似，n脫殊集都是非遞歸的且非:‘的.
n脫殊集，數學術語。
脫殊集 脫殊集（generic set）是1993年公布的數學名詞。公布時間 1993年，經全國科學技術名詞審定委員會審定發布。出處 《數學名詞》。
脫殊集，，脫殊集與p脫殊集也是re的，但一般稱的“re脫殊集”都是指馬斯給出的脫殊集概念).在馬斯的定義中，有窮損傷的思想被隱含地包含在其中.其基本思想是:如果某個乞，性質有無窮多次機會被滿足(這種“機會”必須能夠在原始遞歸擴張中找到)，那么這個性質將被r。脫殊集滿足.馬斯證明re脫殊集的存在性...
脫殊集的概念是美國數學家科恩(Cohen，P.J.)於1963年在利用力迫法證明AC與CH的獨立性時引入的.為了在基模型M上構造一個擴張模型，科恩引入了M之外的一些元素，將這些元素與M一起共同擴張成ZF的另一個模型N。為了不至於使擴張後的模型包含更多的序數，要求新引入的元素必須具有與M中的“普通”元素類似的性質，...
‘脫殊集（e-generic set）定義較為簡單的re的脫殊集.它是傑克什(Jockusch , C. G.)給出的一種re的脫殊集定義.傑克什首先將集合論中力迫法移植到遞歸論中，給出了1脫殊集的概念.此後，馬斯(Maass, W.)給出了一種re脫殊集的定義(稱為re脫殊集)，但該定義過於複雜，因此，傑克什將其簡化 ...
p脫殊集（p-generic set）是脫殊集概念向re集的推廣。內容簡介 p脫殊集(p-generic set)脫殊集概念向re集的推廣.由於遞歸論的擴張構造方法與集合論中力迫法的思想有類似之處，因此力迫法也被移植到遞歸論中.與集合論力迫法中脫殊集概念類似的1脫殊集也在遞歸論中發揮了重要作用.但1脫殊集不是:。集，...
T脫殊集 T脫殊集(T-generic set)一種特別的力迫條件集。.在模型論力迫中，設G是由丫。中一些原子語句或原子語句的否定組成的集合.當適合下列兩條件時，稱為一個T脫殊集(也稱T兼納集):
兼納集（generic set）亦稱脫殊集，力迫法的一個概念。設M為一個非空集合，P為M中的偏序集，PEM，若GCP為P的濾子，且對任何P的稠密子集D,DEM-GnDQ，則稱G為M上的P兼納集，或稱G為屍的兼納子集.兼納集的概念是美國數學家科恩(Cohen,P.J.)於1963年在利用力迫法證明AC與CH的獨立性時引人的.為了...