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