Set theory : an introduction to independence proofs - Kunen, Kenneth (Studies in logic and the foundations of mathematics (North Holland) / J.Barwise, H.J.Keisler, P.Suppes, A.S.Tro/ra, 1980)