Introduction to Axiomatic Set Theory - J.L. Krivine

This book presents the classic relative consistency proofs in set theory that are obtained by the device of 'inner models'. Chapters I and II introduce the axioms of set theory, and develop such parts of the theory as are indispensable for every relative consistency proof;