力迫法

P. Cohen (1963, 1964, 1966) 发明的一种集合论技术，用于证明选择公理和连续统假设在策梅洛-弗兰克尔集合论中彼此独立。

另请参阅

使用 Wolfram|Alpha 探索

更多尝试

在轮盘赌中押一百万比索赌红色
d/dz am(z, m)
NC vs NLINSPACE

参考文献

Cohen, P. J. “连续统假设的独立性。”美国国家科学院院刊 50, 1143-1148, 1963。Cohen, P. J. “连续统假设的独立性。II。”美国国家科学院院刊 51, 105-110, 1964。Cohen, P. J. 集合论与连续统假设。 纽约：W. A. Benjamin, 1966。Todorchevich, S. 和 Farah, I. 力迫法的一些应用。 莫斯科：Yenisei, 1995。

在 Wolfram|Alpha 中被引用

力迫法

请引用为

Weisstein, Eric W. “力迫法。” 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/Forcing.html