Koalgebraische Eigenschaften stochastischer Relationen

• Antragsteller: Professor Dr. Ernst-Erich Doberkat
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 2010 bis 2014
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 175935990

Stochastische Relationen haben sich als fruchtbarer Untersuchungsgegenstand erwiesen, insbesondere stehen kategorielle Fragestellungen und Anwendungen in der modalen und der koalgebraischen Logik im Mittelpunkt der Betrachtungen, Querbez¨uge zur universellen Algebra wie zur deskriptiven Mengenlehre konnten in den bisherigen Arbeiten identifiziert und partiell weiterverfolgt werden. Das beantragte Vorhaben m¨ochte diese Aspekte weiter untersuchen, wobei logische, kategorielle und ordnungstheoretische Fragen im Vordergund stehen sollen.

• DFG-Verfahren: Sachbeihilfen