At the end of the course, students are expected to learn
- various combinatorial set-theoretic principles and their consequences,
- basics of forcing, which is the main tool to show independence results, and
- various independence results and how such independence results are connected to other branches of mathematics.