Please read my Supervision page first. This page is mostly designed for the students of the Master in Logic at the University of Gothenburg, having in mind their background. It collects ideas my students may work on. If you do not like any of them, but you still would like to work with me, please come have a chat!

Categorical Logic

Model Theory

Set Theory