Large cardinal hypotheses play a central role in modern set theory. This volume develops a method for constructing core models that have Woodin cardinals, a large cardinal hypothesis that is the focus of much current research. It is suitable for advanced graduate students and researchers in set theory.