Set theory : an introduction to independence proofs - Kunen, Kenneth (Studies in logic and the Foundations of Mathematics, 1980)