The students become familar with the "forcing" method in set theory.
ZFC models, partial orders and complete Boolean algebras as forcing notions. Independence of the continum hypothesis. Further topics depending on the audience's interests: iterated forcing, Martin's axiom, the Solovy model.
Not necessary