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)
By clicking 'OK' you are leaving the web sites of the Julius-Maximilians-Universität Würzburg and will be redirected to Facebook. For information on the collection and processing of data by Facebook, refer to the social network's data privacy statement.
By clicking 'OK' you are leaving the web sites of the Julius-Maximilians-Universität Würzburg and will be redirected to Twitter. For information on the collection and processing of data by Facebook, refer to the social network's data privacy statement.