Simplified independence proofs Boolean valued models of set theory - Rosser, J. Barkley (John Barkley) 1907- (Pure and applied mathematics (Academic Press), 1969)