This book presents the classic relative consistency proofs in set theory that are obtained by the device of 'inner models'. …