|
|||||
|
|
| GB的布尔值模型 | |
| 引用本文： | 李娜.GB的布尔值模型[J].科学通报,1990,35(1):16-16. |
| 作者姓名： | 李娜 |
| 作者单位： | 河南大学逻辑教研室 开封 |
| 摘 要： | 1967年,Scott系统阐明了他的布尔值模型方法,证明了V~(B)是ZFC的布尔值模型,并且假设GCH,那么,如果B满足ccc且|B|=2_0~(?),则V~(B)|=GCH,本文在V~(B)的基础上构造了模型 Δ~(B),其主要结果是(1)Δ~(B)是GB的布尔值模型;(2)假设GCH,那么,如果B满足ccc且|B|=2_0~(?),则Δ~(B)|=GCH;(3)极大(极小)原理在Δ~(B)中真;(4)Δ~(B)(B≠{0,1})是QM的布尔值模型。 本文主要是在文献1,2]的基础上进行(?)论。 |
| 关 键 词： | 公理系统GB 布尔值模型 极大原理 |
| 本文献已被 CNKI 维普 等数据库收录！ | |
| 点击此处可从《科学通报》浏览原始摘要信息 | |
| 点击此处可从《科学通报》下载免费的PDF全文 | |