Bojana Pantić – Fraïssé-type theorem for polymorphism-homogeneous structures
One of the cornerstones of model theory is the theorem of Fraïssé. It led to the development of a rich theory based upon the construction of homogeneous structures as “limits” to their ages. In recent years, the notion of homogeneity was generalised in several directions. One of them is polymorphism-homogeneity. A structure is called polymorphism-homogeneous if every local polymorphism can be extended to a global one. In this talk we deal with the problem of finding a Fraïssé-style result for polymorphism-homogeneous structures.
This is joint work with Maja Pech.