Boolean-valued Models and independence proofs in set theory - Bell, John L. 1945- (Clarendon Pr., 1979)