%0 Journal Article
%T 模型C中的选择公理
%A 赵希顺
%J 科学通报
%P 1441-1441
%D 1989
%X 在文献[1]中,Chang定义了L_(ω_1ω_1)语言的可构成集类C,并且在ZFC中讨论了C的若干性质。然而在ZFC中,并不能证明C满足选择公理(AC)。本文将发展一公理系统ZFC~*,在ZFC~*工作中,我们能够证明C满足选择公理。
%K ZFC~*
%K 语言_(ω_1∞_1)~V
%K 模型C
%K 选择公理
%U http://csb.scichina.com:8080/CN/abstract/abstract359336.shtml