ω_2-Aronszajn树与Martin公理

本文用正常力迫方法证明了:如果ZFC与存在弱紧基数协调则ZFC与不存在ω_2-Aronszajn树加马丁公理也协调。     

ω_1-OrdinalDefinable Setsand ChangsModelC

§１．　ＩｎｔｒｏｄｕｃｔｉｏｎＴｈｉｓｐａｐｅｒｗｏｒｋｓｉｎＺＦｓｅｔｔｈｅｏｒｙ（ｓｏｍｅｔｉｍｅｓ，ｉｔｎｅｅｄｓａｘｉｏｍｏｆｃｈｏｉｃｅ（ＡＣ）ｏｒｉｔｓｗｅａｋｆｏｒｍｓ）．Ｔｈｅｎｏｔａｔｉｏｎｓａｎｄｔｅｒｍｉｎｏｌｏｇｉｅｓｅｍｐｌｏｙｅｄｉｎｔｈｉｓｐａｐｅｒａｒｅｓｔａｎｄａｒｄ．Ｆｏｒｅｘａｍｐｌｅ，ｌｏｗｅｒｃａｓｅＧｒｅｅｋｌｅｔｔｅｒｓα，β，γ，…ｄｅｎｏｔｅｏｒｄｉｎａｌｓ；κ，λ，μ，…ｃａｒｄｉｎａｌｓ．Ｔｈｅｃｌａｓｓｏｆａｌｌｏｒｄｉ－ｎａｌｓｉｓｄｅ…     

欧氏空间上Co-regular集的表示式

For the computability of co-regular subsets in metric spaces, the properties of the co-regular subsets and several reasonable representations on co-regular sets have been suggested in this paper. As last, the 'weaker or stronger' relations of these representations have been revealed.     

大基数与Chang氏模型C

本文研究了一些基数在Ｃｈａｎｇ氏模型Ｃ中的存在性，证明发如下结果：（１）如果Ｋ是弱紧基数，则Ｋ在Ｃ中也是弱紧基数，（２）如果Ｋ是ｉｎｅｆｆａｂｌｅ基数，则Ｋ在Ｃ中也是ｉｎｅｆｆａｂｌｅ基数。（３）如果Ｋ是完全ｉｎｅｆｆａｂｌｅ基数，则Ｋ在Ｃ中也是完全ｉｎｅｆｆａｂｌｅ基数。（４）设Ｊ：Ｃ→Ｃ为初等嵌入，Ｋ为最小变动的基数，则Ｋ在Ｃ中完全ｉｎｅｆｆａｂｌｅ基数，且是完全Ｒａｍｓｅｙ基数。     

极小不可满足公式的两个多项式时间可判定类 *

研究命题公式 (合取范式 )的极小不可满足性 .设公式F含有n +k个子句(n是F中所有变元的个数 ) ,其中包括子句x₁∨…∨x_n 和┐x₁∨…∨┐x_n,证明了当k≤4时 ,可在多项式时间内判定F是否是极小不可满足的.