Set theory : An introduction to independence proofs - Kunen, Kenneth (Studies in logic and the foundations of mathematics, 1980)