期刊文献+

AXIOM OF CHOICE IN THE MODEL C

AXIOM OF CHOICE IN THE MODEL C
原文传递
导出
摘要 In [1], C. C. Chang defined the class of sets constructible using L<sub>ω|ω|</sub>, and discussed some properties of C in ZFC. However, in ZF, we cannot prove that C satisfies the axiom of choice (AC). In this note, we shall develop an axiomatic system ZFC<sup>*</sup> in which we are able to prove that C satisfies AC.
作者 赵希顺
出处 《Chinese Science Bulletin》 SCIE EI CAS 1990年第22期1849-1852,共4页
关键词 ZFC~* LANGUAGE ■<sub>w<sub>1</sub>w<sub>1</sub></sub><sup>V</sup> model C AXIOM of choice. ZFC~*, language ■_(w_1w_1)~V, model C, axiom of choice.
  • 相关文献

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部