Computational Model Theory (algorithmische Modelltheorie) und ihre Anwendungen in der Informatik

• Antragsteller: Professor Dr. Erich Grädel
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 2000 bis 2009
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5280774

Ziel dieses Vorhabens ist Erforschung des Zusammenhangs von algorithmischer Komplexität und logische Definierbarkeit auf informatikrelevanten unendlichen Strukturen und damit die Erweiterung der Endlichen Modelltheorie zu einer allgemeineren computational model theory. Insbesondere soll der Ansatz der deskriptiven Komplexitätstheorie systematisch von endlichen Strukturen auf geeignete Klassen unendlicher Strukturen übertragen werden.

• DFG-Verfahren: Sachbeihilfen