Matěj Konečný

We characterize the big Ramsey degrees of free amalgamation classes in finite binary languages defined by finitely many forbidden irreducible substructures, thus refining the recent upper bounds given by Zucker. Using this characterization, we show that the Fraïssé limit of each such class admits a big Ramsey structure satisfying the infinite Ramsey theorem, implying that the automorphism group of the Fraïssé limit has a metrizable universal completion flow.

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.

In this paper we prove a general theorem showing the extension property for partial automorphisms (EPPA, also called the Hrushovski property) for classes of structures containing relations and unary functions, optionally equipped with a permutation group of the language. The proof is elementary, combinatorial and fully self-contained. Our result is a common strengthening of the Herwig-Lascar theorem on EPPA for relational classes with forbidden homomorphisms, the Hodkinson-Otto theorem on EPPA for relational free amalgamation classes, its strengthening for unary functions by Evans, Hubi\v{c}ka and Ne\v{s}et\v{r}il and their coherent variants by Siniora and Solecki. We also prove an EPPA analogue of the main results of J. Hubi\v{c}ka and J. Ne\v{s}et\v{r}il: All those Ramsey classes (Ramsey classes with closures and forbidden homomorphisms), thereby establishing a common framework for proving EPPA and the Ramsey property. Our results have numerous applications, we include a solution of a problem related to a class constructed by the Hrushovski predimension construction.