关于L测度的独立性及其应用

设计Borel集新的编码，描写了Borel集的结构及编码集。这个编码简化了Solovay关于L测度和谐性的证明，推广了该定理，证明了Con（2F＋DC＋（X））。     

连续统假设的讨论

用描述集论的方法证明了连续统假设,这个证明不同于其它的方法。     

关于Suslin树的两个结果

在公理集合论中,Suslin树(ST)是树中的重点,Jech运用ST证明了著名的Suslin问题的独立性.本文进一步探讨了Suslin树,证明了在Jech的模型M[Ω]中存在着一串逐个包含的ST的ω_1序列,它们的可数交仍是ST,这里Ω是正规完全的二枝ST,并把Jech M[Ω]2=1(不管2在M中的大小)的结果推广到更为广泛的ST.     

关于选择公理及其弱形式(Ⅰ)

先介绍ＡＣ独立于ＺＦ，然后研究ＡＤ、ＤＣＫ、ＡＣＫ和ＷＫ之间的关系（ｋ≥ω１）．     

关于Cantor定理的新证法

Ｃａｎｔｏｒ定理的证明，除了对角线法外，其他所有证明实质上都类同于Ｔａｋｅｕｔｉ在１９８２年给出的证法现应用共尾数和不可达基数给出了新的证法，这个证法不同于以往各种证明