"Simplified independence proofs. Boolean valued models of set theory" - читать интересную книгу автора (J. Barkley Rosser)