Strukturkonstruktionen und modelltheoretische Spiele in speziellen Strukturklassen

点击翻译按钮获取中文摘要

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.