The Core Model Iterability Problem

x0. Introduction.- x1. The construction of Kc.- x2. Iterability.- x3. Thick classes and universal weasels.- x4. The hull and definability properties.- x5. The construction of true K.- x6. An inductive definition of K.- x7. Some applications.- x8. Embeddings of K.- x9. A general iterability theorem.- References.- Index of definitions.