手机知网 App
24小时专家级知识服务
打 开
数学
模型C中的选择公理
<正> 在文献[1]中,Chang定义了L_(ω_1ω_1)语言的可构成集类C,并且在ZFC中讨论了C的若干性质。然而在ZFC中,并不能证明C满足选择公理(AC)。本文将发展一公理系统ZFC~*,在ZFC~*工作中,我们能够证明C满足选择公理。
3 30
手机阅读本文
下载APP 手机查看本文
科学通报
1989年19期

搜 索