|
|||||
|
|
| AD与DG_■不相容 | |
| 引用本文： | 陈练寒.AD与DG_■不相容[J].科学通报,1992,37(12):1069-1069. |
| 作者姓名： | 陈练寒 |
| 作者单位： | 葛洲坝水电学院基础部 宜昌 |
| 摘 要： | Solovay首先假定AD_R与ZF是协调的,然后用内模型的方法证明DC独立于AD。本文进一步探讨AD与相依选择公理之间的关系,我们知道AD蕴涵,但是AC等价于,这里K是阿列夫(Aleph),并且当且仅当, |
| 关 键 词： | 决定性公理 对策 策略 |
| 本文献已被 CNKI 等数据库收录！ | |
| 点击此处可从《科学通报》浏览原始摘要信息 | |
| 点击此处可从《科学通报》下载免费的PDF全文 | |