本文在V~(B)的基础上,构造了模型Δ~(B),定义了集合论的有穷公理系统GB的每个公式的布尔值(GB是比ZFC丰富的理论)。证明了Δ~(B)是......

<正> 1967年,Scott系统阐明了他的布尔值模型方法,证明了VB是ZFC的布尔值模型,并且假设GCH,那么,如果B满足ccc且|B|=20?,则VB|=GCH......