Simplified independence proofs Boolean valued models of set theory - Rosser, John Barkley 1907-1989 (Academic Press, 1969)