Suitable for graduate students and researchers in set theory, this volume develops a method for constructing core models that have Woodin cardinals.
Inhaltsverzeichnis
Introduction; 1. The construction of K^c; 2. Iterability; 3. Thick classes and universal weasels; 4. The hull and definability properties; 5. The construction of true K; 6. An inductive definition of K; 7. Some applications; 8. Embeddings of K; 9. A general iterability theorem; References; Index of definitions.