Abstract

A Boolean algebra is a structure which behaves very much like first order propositional logic. In this thesis, we examine the technique of using Boolean algebras to create different models of set theory. This concept was developed by Scott in 1967, and can be applied in relative consistency proofs in
... read more