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