Projects in Previous Years

1st Semester 2018/19: Advanced Topics in Set Theory

Instructors

Yurii Khomskii [The project is coordinated at the ILLC by Benedikt Lowe]
If you are interested in this project, please contact the instructor(s) by email.

Registration through https://datanose.nl/#specialenrol, using the course code: 5314ATIS6Y.

ECTS
6
Description
This project is in seminar-form, with the students preparing an individual topic in set theory and giving a public presentation on it. The students may each choose an area of interest, either among advanced topics in classical set theory (e.g., forcing, independence proofs, large cardinals, descriptive set theory or infinite games), or “alternative” set theory (e.g., constructive set theory, alternative axiomatizations, set theories based on non-classical logic etc.)
Organisation

At the beginning we will hold an introductory and organizational meeting. After that, students work on their own, with individual guidance as needed, prepare a section of the material and give a public presentation. Afterwards, they write a short summary of the material in their own words.

Prerequisites

Introductory set theory, basic logic.

Assessment

The project is assessed  as "Fail/Pass", based on the presentations and the written summaries.