摘要
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]的基础上进行(?)论。
出处
《科学通报》
EI
CAS
CSCD
北大核心
1990年第1期16-18,共3页
Chinese Science Bulletin
