Wir arbeiten in unserer Forschung auf folgenden mathematischen Gebieten:
Sie zeichnet sich durch ein interessantes Wechselspiel von Mathematischer Logik, Reeller Geometrie, Analysis und Algebra aus, wobei Resultate auf allen Gebieten erzielt werden.
O-minimale Strukturen sind entstanden aus dem Zusammenspiel von Logik und Geometrie algebraischer Prägung und erweitern letztere um zentrale Konzepte der Analysis. Sie stellen eine Verallgemeinerung der Kategorie der semialgebraschen und semi- bzw. subanalytischen Mengen und Funktionen dar. O-minimale Strukturen sind über dieselben Endlichkeitseigenschaften definiert und teilen ähnlich gute geometrische Eigenschaften ("zahme Geometrie"). Sie gehen jedoch weit darüber hinaus.
Wir wollen die Theorie der o-minimalen Strukturen auf wichtige Gebiete der Analysis ausdehnen und diese somit den Techniken der Logik und der zahmen Geometrie zugänglich zu machen. Dazu arbeiten wir über Dynamische Systeme, Komplexe Analysis und Potentialtheorie.
Neben den mehr geometrischen Aspekten o-minimaler Strukturen beschäftigen wir uns auch mit deren Modelltheorie.
Wir untersuchen (global) subanalytische Mengen auf ihre analytisch-geometrischen Eigenschaften hin. Die Reelle Algebraische Geometrie über beliebigen reell abgeschlossenen Körpern erweitern wir durch das Konzept der Integration.
In der Reellen Algebra befassen wir uns mit speziellen Klassen von angeordneten Ringen wie graduierte und homogene Ringe. Als Anwendungsmöglichkeiten sehen wir reelle Aufblasungsprozesse.
In der Kommutativen Algebra beschäftigen wir uns mit Bewertungenstheorie, speziell mit Manis-Bewertungen und Prüfer-Erweiterungen. Diese Theorie liefert ein wirkungsvolles Instrument, um wichtige Klassen von nichtnoetherschen Ringen zu verstehen, wie sie z.B. in der reellen Algebra prominent auftreten.
