Coherent extension of partial automorphisms, free amalgamation, and automorphism groups

Daoud Siniora, Sławomir Solecki

We give strengthened versions of the Herwig-Lascar and Hodkinson-Otto extension theorems for partial automorphisms of finite structures. Such strengthenings yield several combinato…