Forschungsbereiche

Schwerpunkt

Der Schwerpunkt unserer Forschung liegt auf der Beweistheorie und hier speziell auf Ordinalzahlanalyse, reverser Mathematik und 'Proof mining'. Dabei legen wir großen Wert auf Verbindungen mit weiteren Ansätzen aus der Logik (Berechenbarkeitstheorie, Mengenlehre, Modelltheorie), mit unterschiedlichen Teilgebieten der Mathematik (Kombinatorik, Analysis, Algebra, etc.) und mit anderen Disziplinen (Informatik, Philosophie, etc.).

Weitere Informationen zur Forschung, zur Lehre und zu unserem Team finden Sie über die Hauptseite unserer Arbeitsgruppe.