Simplified independence proofs: boolean valued models of set theory - Rosser, J. Barkley (Pure and applied mathematics, 31, 1969)