Manuel Bodirsky (TU DRESDEN):
Model-theoretic challenges in Constraint Satisfaction
Time and place
Tuesday, 23.7.24, 14:30-15:30, Raum 404, Ernst-Zermelo-Str. 1
Abstract
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