Boolean - Valued models and independence proofs in set theory. - Bell J L (1977)