![[Translate to Englisch:] Studierende im Hörsaal während einer Vorlesung](/fileadmin/_processed_/e/a/csm_Studierende_Hoersaal_Vorlesung_e2b7be0284.jpg)
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.
- A well-ordering principle for pseudo Pi11-comprehension (2025)
- A Reverse Mathematical Analysis of Two Proofs about Well-Quasi-Orderings (2024)
- Proof-theoretic aspects of a slow Ackermann function (2024)
