Abschlussarbeiten
Wir freuen uns sehr über Interesse an Abschlussarbeiten zur mathematischen Logik!
Die Vorlesung "Einführung in die mathematische Logik" ist eine gute Voraussetzung für eine Bachelorarbeit. Entsprechende Veranstaltungen aus der Informatik oder Philosophie können eine Alternative sein.
Im Fall einer Masterarbeit ist der vorige Besuch einer fortgeschrittenen Veranstaltung zur Logik wünschenswert.
Auch wenn Sie bisher keine Veranstaltungen zur Logik besucht haben: Kontaktieren Sie uns bei Interesse sehr gerne für eine individuelle Beratung!
Die Namen der Verfasser werden aus Datenschutzgründen nicht genannt. Wenn Sie selbst eine der Arbeiten verfasst haben und namentlich genannt werden möchten, dann sagen Sie gerne Bescheid.
- Comparability of Well-Orderings Through the Lens of Reverse Mathematics (2023)
- Signed Trees of Marcone and Montalbán (2023)
Die Namen der Verfasser werden aus Datenschutzgründen nicht genannt. Wenn Sie selbst eine der Arbeiten verfasst haben und namentlich genannt werden möchten, dann sagen Sie gerne Bescheid.
- A Reverse Mathematical Analysis of Two Proofs about Well-Quasi-Orderings (2024)
- Proof-theoretic aspects of a slow Ackermann function (2024)
