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

DOI10.1090/TRAN/8654zbMATH Open1498.05273arXiv1902.03855OpenAlexW4283825365WikidataQ113822445 ScholiaQ113822445MaRDI QIDQ5039718FDOQ5039718

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)

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.

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

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

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)

Cites Work

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

Cited In (7)

• EPPA for two-graphs and antipodal metric spaces
• Extending partial isometries of antipodal graphs
• 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
• EPPA numbers of graphs
• A combinatorial proof of the extension property for partial isometries

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)