Strukturkonstruktionen und modelltheoretische Spiele in speziellen Strukturklassen

• Antragsteller: Professor Dr. Martin Otto
• Fachliche Zuordnung: Mathematik
• Förderung: Förderung von 2007 bis 2011
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 39236596

Dieses Forschungsvorhaben zur algorithmischen Modelltheorie zielt auf die Entwicklung von Methoden zur Analyse und Modellkonstruktion im Zusammenhang mit semantischen Invarianzbedingungen über speziellen, anwendungsrelevanten Strukturklassen. Im Vordergrund stehen algorithmische Probleme und Fragestellung der theoretischen Informatik, die mit modelltheoretisch-logischen Methoden bearbeitet werden. Modelltheoretische Spiele (Bisimulationsspiele, Ehrenfeucht-Fraissé-Spiele) gehören zum wichtigsten Instrumentarium für die Analyse von Struktureigenschaften und ihrer Definierbarkeit. Über geeigneten speziellen Strukturklassen sollen entsprechende Methoden anhand von Modularitäts- und Lokalitätskriterien verfeinert werden, mit dem Ziel, komplexere Strukturen anhand hierarchischer Zerlegungs- und Transformationsprozesse zu analysieren, sowie bestimmte algorithmische und modelltheoretische Fragestellungen über geeigneten Strukturklassen anhand entsprechend skalierbarer Kriterien für die Komplexität von Strukturen zu behandeln.

• DFG-Verfahren: Sachbeihilfen