节点文献
模型C中的选择公理
【摘要】 <正> 在文献[1]中,Chang定义了Lω1ω1语言的可构成集类C,并且在ZFC中讨论了C的若干性质。然而在ZFC中,并不能证明C满足选择公理（AC）。本文将发展一公理系统ZFC*,在ZFC*工作中,我们能够证明C满足选择公理。
- 【文献出处】 科学通报 ,Chinese Science Bulletin , 编辑部邮箱 ,1989年19期
- 【被引频次】3
- 【下载频次】37
中国学术期刊网络出版总库
【摘要】 <正> 在文献[1]中,Chang定义了Lω1ω1语言的可构成集类C,并且在ZFC中讨论了C的若干性质。然而在ZFC中,并不能证明C满足选择公理（AC）。本文将发展一公理系统ZFC*,在ZFC*工作中,我们能够证明C满足选择公理。