致力于研究Chang氏模型C与所有集合的类V之间的协调性关系.证明了V=C≠L和V≠C≠L都分别和ZFC集合论系统协调(其中,L是Godel可构成......

本文把集合论中著名的菱形性质◇做了两种推广，即 和 ．用力迫方法证明了它们分别相对于ZFC协调。还证明了， 在Godel可构成模型L中也成......

本文考察P-Point与_1-scale的个数,证明了下面结论:(ⅰ)如果CH或MA成立,则至少存在2~(_0)多个P-point,(ⅱ)“存在2~(_1)多个_1-sca......