All those EPPA classes (strengthenings of the Herwig–Lascar theorem)

Abstract

Let A \mathbf {A} be a finite structure. We say that a finite structure B \mathbf {B} is an extension property for partial automorphisms (EPPA)-witness for A \mathbf {A} if it contains A \mathbf {A} as a substructure and every isomorphism of substructures of A \mathbf {A} extends to an automorphism of B \mathbf {B} . Class C \mathcal C of finite structures has the EPPA (also called the Hrushovski property) if it contains an EPPA-witness for every structure in C \mathcal C . We develop a systematic framework for combinatorial constructions of EPPA-witnesses satisfying additional local properties and thus for proving EPPA for a given class C \mathcal C . Our constructions are elementary, self-contained and lead to a common strengthening of the Herwig–Lascar theorem on EPPA for relational classes defined by forbidden homomorphisms, the Hodkinson–Otto theorem on EPPA for relational free amalgamation classes, its strengthening for unary functions by Evans, Hubička and Nešetřil and their coherent variants by Siniora and Solecki. We also prove an EPPA analogue of the main results of J. Hubička and J. Nešetřil: All those Ramsey classes (Ramsey classes with closures and forbidden homomorphisms), thereby establishing a common framework for proving EPPA and the Ramsey property. There are numerous applications of our results, we include a solution of a problem related to a class constructed by the Hrushovski predimension construction. We also characterize free amalgamation classes of finite Γ L \Gamma \!_L -structures with relations and unary functions which have EPPA.

Big Ramsey Degrees of the Generic Partial Order

“…Remark 6.29. A similar, less restrictive notion of partial structure is used in constructions of Ramsey and EPPA classes [HN19,HKN22] to amalgamate structures in a complicated way which can not be done by iterating normal amalgamation. Partial structures are more important when working with non-free amalgamation classes.…”

On dense, locally finite subgroups of the automorphism group of certain homogeneous structures

“…Herwig proved the $$\operatorname{{\it EP}}$$ for monotone, free amalgamation classes in [5], Solecki in [17] proved the analogous result for the class of finite metric spaces. [9] contains profound and comprehensive generalizations of the extension property, including coherent extensions, as well.…”

The Amalgamation Property and Urysohn Structures in Continuous Logic

“…Later on, the EPPA has been proven for a great number of classes of structures, most notably for classical finite relational structures (Herwig-Lascar [10]) and for finite metric spaces (Solecki [17]). For a survey of recent results on EPPA see [12]. Siniora-Solecki [16] defined the coherent EPPA and proved it for a large number of classes of classical structures.…”