Institute of Discrete Mathematics and Geometry, Vienna University of Technology, Austria.
Department of Mathematics, Ghent University, Belgium.
All areas of Mathematical Logic, including Proof Theory; Set Theory; Recursion Theory; Model Theory; non-classical, many-valued, and modal logics; as well as interactions between these areas.
Fall 2020. Set Theory (UGent).
Spring 2019. Seminar in Mathematical Logic (TU Wien).
Fall 2018. Seminar in Mathematical Logic (TU Wien).
Spring 2018. Ordinal Analysis and Consistency Proofs (TU Wien).
This website uses cookies. By continuing to use this site, you accept our use of cookies.