Logic Seminar

Matej KonecnyCharles University
Extending partial automorphisms of structures

Friday, September 27, 2019 - 3:45pm
205 Malott

This is based on joint work with David Evans, Jan Hubička and Jaroslav Nešetřil. The extension property for partial automorphisms (EPPA), also called the Hrushovski property, is a property of classes of finite structures stating that for every $A$ there is $B$ containing $A$ as a substructure such that every isomorphism of substructures of $A$ extends to an automorphism of $B$. Every class with EPPA is an amalgamation class, in fact, EPPA is equivalent to some properties of the automorphism group of the Fraisse limit of the class. In particular, EPPA is a key ingredient in proving ample generics, the small index property etc. In this talk, we show a new easy way of proving EPPA for the class of all finite graphs and then explain how to extend these techniques to get the strongest sufficient condition for EPPA so far, in particular strengthening the theorems of Herwig and Lascar, Siniora and Solecki and Hodkinson and Otto. The talk will be self-contained.

Note the unusual time/place