Annotation
Class models - wellfounded universe, constructible universe L (relative consistency of the Axiom of Foundation, Axiom of Choice, Continuum Hypothesis). Natural set models of fragments of ZFC: V-hierarchy, H-hierarchy, and elementary substructures.
Measurable cardinal implies V is not equal to L. The emphasis will be on the technique of inner models, forcing will also be mentioned.