Home
Teaching
Research

Current Teaching

Summer semester 2024

• Complexity, Computability and Incompleteness
  Wednesdays 11.45-13.15, F426. More information here.
  

Previous Teaching

Winter semester 2023/24

• Einführund in die mathematische Logik
  

  Summer semester 2023

  • Advanced Set Theory: Forcing and the Continuum Hypothesis
    

  Winter semester 2022/23

  • Introduction to Axiomatic Set Theory
    

  Summer semester 2022

  • Computability, Complexity and Incompleteness
    

  Winter semester 2021/22

  • Introduction to Mathematical Logic
    

  Summer semester 2021

  • Mathematical Logic II: Gödel's Incompleteness Theorems
    

  Winter semester 2020/21

  • Introduction to Axiomatic Set Theory
    

  Summer semester 2020

  • Introduction to Mathematical Logic
    

  Winter semester 2019/20

  • Linear Algebra I