Deutsch Intern
  • [Translate to Englisch:] Studierende im Hörsaal während einer Vorlesung
Mathematical Logic

Theses

We are very happy if you are interested in a project on mathematical logic!

The  lecture "Einführung in die mathematische Logik" (Introduction to Mathematical Logic) provides solid background for a bachelor's thesis. Corresponding courses from computer science or philosophy can offer an  alternative.

As preparation for a master's thesis, it is desirable to  take an advanced course in logic.

Even if you have not had any logic courses so far: you are very welcome to contact us for individual information!

Author names are omitted for reasons of data privacy. If you are one of the authors and would like to be mentioned, please get in touch.

  • Comparability of Well-Orderings Through the Lens of Reverse Mathematics (2023)
  • Signed Trees of Marcone and Montalbán (2023)

Author names are omitted for reasons of data privacy. If you are one of the authors and would like to be mentioned, please get in touch.

  • A Reverse Mathematical Analysis of Two Proofs about Well-Quasi-Orderings (2024)
  • Proof-theoretic aspects of a slow Ackermann function (2024)