Simplified Independence Proofs: Boolean Valued Models of Set Theory - Rosser, Barkley J.