Forschungsinteressen
Ich interessiere mich hauptsächlich für die modelltheoretische Untersuchung angeordneter algebraischer Strukturen und deren Verbindungen zur Theoretischen Informatik. Dies beinhaltet verallgemeinerte Potenzreihenkörper, Ordnungstypen, formale Potenzreihen, gewichtete Automaten, gewichtete monadische Prädikatenlogik zweiter Stufe, archimedisch angeordnete Körper, die NIP-Eigenschaft und die Lernbarkeit neuronaler Netze. Viele der Fragestellungen, mit denen ich mich beschäftige, stammen aus der mathematischen Logik und haben Verbindungen zu Bewertungstheorie, reeller Algebra, Mengenlehre, Automatentheorie und Entscheidbarkeitstheorie.
Promotionsprojekt
Archimedisch angeordnete Körper mit der NIP-Eigenschaft (seit Juli 2022)
Betreuerin:
Prof. Dr. Salma Kuhlmann
Mentor:
Dr. Lothar Sebastian Krapp
Universität Konstanz
Letzte Änderung:
myFunction();
English version