The core model, K, is a generalization of Godel"s constructible universe of set theory; K is used to produce "'fine structural"' results of a less restrictive kind. This book aims to introduce the core model to those with a basic knowledge of axiomatic...