布尔値模型

力迫方法的变种和发展。也称它是力迫方法的一种新形式(参见力迫方法)。1963年P．J．科恩创立了力迫方法并由此解决了选择公理、连续统假设等若干重要命题的独立性、协调性结果，显示了力迫方法的重要性。1965年D．斯科特与R．M．索洛韦提出了布尔值模型的概念。随后人们运用这一方法解决一批重要的数学问题。布尔值模型的基本特征是把标准集合论中的属于关系的特征函数的值域｛0，1｝推广到一般布尔代数B上(一般地要求B完备)，而在证明所希望的结果时，关键的一步是选择B及B上的超滤G。不难看出，这是一种非标准模型的方法。研究非标准模型也可把B推广到一般格上，建立格值集合论。这一领域有许多重要工作。