Current browse context:
math.CO
Change to browse by:
References & Citations
Mathematics > Combinatorics
Title: All those EPPA classes (Strengthenings of the Herwig-Lascar theorem)
(Submitted on 11 Feb 2019 (v1), last revised 23 Jan 2022 (this version, v4))
Abstract: 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.
Submission history
From: Jan Hubička [view email][v1] Mon, 11 Feb 2019 13:10:55 GMT (93kb,D)
[v2] Fri, 21 Aug 2020 10:52:11 GMT (147kb,D)
[v3] Mon, 1 Nov 2021 20:06:26 GMT (172kb,D)
[v4] Sun, 23 Jan 2022 11:21:47 GMT (173kb,D)
Link back to: arXiv, form interface, contact.