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

DOI10.1090/TRAN/8654MaRDI QIDQ5039718zbMATH OpenOpenAlexWikidataFDO

Authors Jan Hubička, Matěj Konečný, J. Nešetřil

Publication date 4 October 2022

Published in Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1902.03855

zbMATH Keywords

algebraic closureRamsey classRamsey expansionstructural Ramsey theorypartite constructionRamsey lift

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Finite automorphism groups of algebraic, geometric, or combinatorial structures (20B25) Groups as automorphisms of other structures (22F50) Ramsey theory (05D10) Group actions on combinatorial structures (05E18) Properties of classes of models (03C52)

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, Hubiv{c}ka and Nev{s}etv{r}il and their coherent variants by Siniora and Solecki. We also prove an EPPA analogue of the main results of J. Hubiv{c}ka and J. Nev{s}etv{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.

Recommendations

• Ramsey properties and extending partial automorphisms for classes of finite structures
• Extending partial isometries of antipodal graphs
• EPPA for two-graphs and antipodal metric spaces
• Extending partial isomorphisms on finite structures
• ON EXTENSIONS OF PARTIAL ISOMORPHISMS

Cites work

• scientific article; zbMATH DE number 753782 (Why is no real title available?)
• scientific article; zbMATH DE number 1912564 (Why is no real title available?)
• scientific article; zbMATH DE number 7406821 (Why is no real title available?)
• scientific article; zbMATH DE number 3080680 (Why is no real title available?)
• A combinatorial proof of the extension property for partial isometries
• A survey on structural Ramsey theory and topological dynamics with the Kechris-Pestov-Todorcevic correspondence in mind
• A theorem of Hrushovski-Solecki-Vershik applied to uniform and coarse embeddings of the Urysohn metric space
• AUTOMATIC CONTINUITY FOR ISOMETRY GROUPS
• All those Ramsey classes (Ramsey classes with closures and forbidden homomorphisms)
• An ω-categorical structure with amenable automorphism group
• Automorphism groups and Ramsey properties of sparse graphs
• Coherent extension of partial automorphisms, free amalgamation and automorphism groups
• Completing graphs to metric spaces
• Conant's generalised metric spaces are Ramsey
• Coset Representations in Free Groups
• Dynamics of non-Archimedean Polish groups
• EPPA for two-graphs and antipodal metric spaces
• Extending partial automorphisms and the profinite topology on free groups
• Extending partial isometries
• Extending partial isometries of antipodal graphs
• Extending partial isometries of generalized metric spaces
• Extending partial isomorphisms for the small index property of many \(\omega\)-categorical structures
• Extending partial isomorphisms of graphs
• Extending partial isomorphisms on finite structures
• Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures
• Finitely approximable groups and actions. I: The Ribes-Zalesskiĭ property
• Finitely approximable groups and actions. II: Generic representations
• Fraïssé limits, Ramsey theory, and topological dynamics of automorphism groups
• Globalization of the partial isometries of metric spaces and local approximation of the group of isometries of Urysohn space
• Homogeneous ordered graphs, metrically homogeneous graphs, and beyond. Volume 1. Ordered graphs and distanced graphs
• Invariant measures on products and on the space of linear orders
• Metric spaces are Ramsey
• On The Profinite Topology on a Free Group
• Ramsey Classes and Homogeneous Structures
• Ramsey properties and extending partial automorphisms for classes of finite structures
• The Hrushovski property for hypertournaments and profinite topologies
• The Small Index Property for ω‐Stable ω‐Categorical Structures and for the Random Graph
• The automorphism group of Hall’s universal group
• Turbulence, amalgamation, and generic automorphisms of homogeneous structures

Cited in

(7)

• Extending partial isometries of antipodal graphs
• EPPA for two-graphs and antipodal metric spaces
• Ramsey properties and extending partial automorphisms for classes of finite structures
• On dense, locally finite subgroups of the automorphism group of certain homogeneous structures
• Extending partial automorphisms of \(n\)-partite tournaments
• A combinatorial proof of the extension property for partial isometries
• EPPA numbers of graphs

This page was built for publication: All those EPPA classes (strengthenings of the Herwig-Lascar theorem)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5039718)