T脫殊集(T-generic set一種特別的力迫條件集.在模型論力迫中，設G是由丫。中一些原子語句或原子語句的否定組成的集合.當適合下列兩條件時，稱為一個T脫殊集(也稱T兼納集):
T脫殊集
相關詞條
- T脫殊集
T脫殊集(T-generic set一種特別的力迫條件集.在模型論力迫中，設G是由丫。中一些原子語句或原子語句的否定組成的集合.當適合下列兩條件時，稱為一個T脫殊集...
- re脫殊集
re脫殊集(re-generic set)一種脫殊集.它是馬斯(Maass , W.)給出的.傑克什(Jockusch,C. G. )最早把集合論力迫概念引人遞歸論，並給出了1脫殊集的概念....
- n脫殊集
n脫殊集(n-generic set) 1脫殊集概念的推廣.如果集合A不具有“特殊”的藝，性質，則它稱為n脫殊集.形式地，集合A為n脫殊集，是指對任何乏，的有窮。,1...
- s脫殊集
脫殊集亦稱兼納集。力迫法的一個概念。設M為一個非空集合，P為M中的偏序集，P∈M，若G⊂P為P的濾子，且對任何P的稠密子集D，D∈M→G∩D≠∅，則...
- e脫殊集
e脫殊集是數學術語，它是傑克什(Jockusch , C. G.)給出的一種re的脫殊集定義. ‘脫殊集((e-generic set定義較為簡單的re的脫殊集.它是傑克什(Jockusch ,...
- p脫殊集
p脫殊集(p-generic set)是脫殊集概念向re集的推廣。內容簡介 p脫殊集(p-generic set)脫殊集概念向re集的推廣.由於遞歸論的擴張構造方法與集合論中力迫法的...
