力迫方法相关论文
致力于研究Chang氏模型C与所有集合的类V之间的协调性关系.证明了V=C≠L和V≠C≠L都分别和ZFC集合论系统协调(其中,L是Godel可构成......
本文把集合论中著名的菱形性质◇做了两种推广，即 和 ．用力迫方法证明了它们分别相对于ZFC协调。还证明了， 在Godel可构成模型L中也成......
