The teaching of Logic in the Master Mathematical Sciences is organized as follows. Every year in the first
semester (periods 1 and 2) there is a course "Advanced topics in Logic". In this course, two topics will
be treated in some depth. These may come from this list, but there are other possibilities.
In the fall of 2005, the topics are Gödel Incompleteness and Model Theory.
The idea is, that
the topics will vary from year to year, so by following this course twice, the student gains knowledge of
four parts of Logic.
Apart from this course, in the second semester, a student seminar is organized. A student seminar means that students in turn study a section of material independently, and present it to the others. In the past, student seminars have been held on Intuitionism (see this page in Dutch), Algebraic results in Model Theory (page in Dutch), Proof Theory. In the spring of 2006, a student seminar will be held on Categorical Logic.
After having taken a number of these courses, you can then write a master thesis under the guidance of one of the teachers
.The teachers in Logic are Ieke Moerdijk, Jaap van Oosten and Andreas Weiermann.