Advanced topics of mathematical logic. In this semester the main emphasis will on the foundations of set theory.