Teaching

Lecture notes:

  1. Einführung in das mathematische Arbeiten Skript (WS2022)

  2. Axiomatic Set Theory I Lecture notes (S2021)

  3. Introduction to Mathematical Logic Lecture notes (W2020)

  4. Properness and Applications Lecture notes (S2020)

At University of Vienna, Austria:

  1. W2021 Set Theory Research Seminar: for further informaiton see the Moodle website.

  2. S2021 Axiomatic Set Theory: see Moodle website of the course for further information and lecture notes.

  3. S2021 Introductory Seminar on Axiomatic Set Theory: see Moodle website of the course.

  4. W2020 Introduction to mathematical logic: see Moodle website of the course.

  5. S2020 Advanced topics in mathematical logic: see Moodle website.

  6. S2020 Introduction to mathematical logic: see Moodle website of the course.

  7. W2019 Introduction to theoretical computer science

  8. S2019 Axiomatic Set Theory 1

  9. S2019 Introductory Seminar Axiomatic Set Theory I

  10. W2018 Introduction to theoretical computer science

  11. S2018 Model Theory

  12. S2018 Introductory Seminar Axiomatic Set Theory I

  13. W2017 Introduction to theoretical computer science

  14. W2017 Reading course in set theory

  15. S2017 UE Grundbegriffe/Grundzuege der mathematischen Logik

  16. S2017 Axiomatic Set Theory 1

  17. S2016 UE Grundbegriffe/Grundzuege der mathematischen Logik

  18. W2016 Introduction to mathematical logic

  19. W2015 Introduction to mathematical logic

  20. S2016 Axiomatic Set Theory 1

At York University, Canada

  1. MATH 3020 Abstract Algebra
  2. MATH 3110 Introduction to Mathematical Analysis
  3. MATH 1090 Introduction to Logic for Computer Science,
  4. MATH 1019 Discrete Mathematics