连续统假设在ZFC里的相容性独立性如何？
数学吧
全部回复
仅看楼主
level 8
Wild_Chan 楼主
突然想到了这个......我只知道在ZF里是相容且独立的...
2013年04月15日 07点04分 1
level 12
习惯性暴走
在ZFC下为真命题吧
2013年04月15日 07点04分 2
Wild_Chan
可以证明？求链接介绍，爪机查不到...
2013年04月15日 07点04分
习惯性暴走
回复 Wild_Chan :好像记错了，哥德尔证明了相容性，科亨证明了独立。wiki即可。
2013年04月15日 07点04分
Wild_Chan
@习惯性暴走 那个是ZF体系里的...爪机不好用维基，或者说我不会用...
2013年04月15日 07点04分
习惯性暴走
回复 Wild_Chan :ZFC里也一样吧
2013年04月15日 07点04分
level 8
8_6_4
两个证明都是在ZFC下做的。
2013年04月15日 07点04分 3
Wild_Chan
教材上说是ZF
2013年04月15日 08点04分
8_6_4
回复 Wild_Chan :[啊！]你看的什么教材阿？
2013年04月15日 08点04分
Wild_Chan
@8_6_4 清华实变...
2013年04月15日 08点04分
8_6_4
回复 Wild_Chan :周民强的那本？好吧我看这书的时候没注意到有这句话。可能作者对集合论也不太了解吧。。。。（CH和ZF确实是相容、独立的，所以也不能说它错，只是把结论给减弱了）
2013年04月15日 08点04分
level 8
8_6_4
Godel构造了一个constructible universe L（L满足ZFC+CH）从而证明ZFC不能推出否CH，Cohen用力迫(forcing)de方法从一个ZFC的模型力迫出了一个ZFC+否CH的模型，从而证明ZFC不能推出CH。
2013年04月15日 08点04分 4
Wild_Chan
谢谢
2013年04月15日 08点04分
level 12
futoneeeee
@Z_F_C [太开心]
2013年04月15日 08点04分 5
futoneeeee
唉？貌似忘了他ID了
2013年04月15日 08点04分
kissstarer流云
@__ZFC__
2013年04月15日 08点04分
kissstarer流云
@_ZFC_
2013年04月15日 08点04分
kissstarer流云
@__ZSF__
2013年04月15日 08点04分
1