Manuel Bodirsky (TU DRESDEN):
Model-theoretic challenges in Constraint Satisfaction
Zeit und Ort
Dienstag, 23.7.24, 14:30-15:30, Raum 404, Ernst-Zermelo-Str. 1
Zusammenfassung
Homogeneous structures and their reducts can be used to model many computational problems from finite model theory as constraint satisfaction problems (CSPs). In this talk I will give a survey on open model-theoretic problems for such structures that are relevant for obtaining complexity classification results for the corresponding CSPs. In particular, I will discuss finite homogeneous Ramsey expansions, reconstruction of structures up to bi-interpretability from the abstract automorphism group, and Thomas's conjecture about closed supergroups.\n\n