Abstract We give strengthened versions of the Herwig–Lascar and Hodkinson–Otto extension theorems for partial automorphisms of finite structures. Such strengthenings yield several combinatorial and group-theoretic consequences for homogeneous structures. For instance, we establish a coherent form of...
Research Assistant
AI chat, annotations, notes & similar papers
No comments yet
Be the first to share your thoughts!