ON EXTENSIONS OF PARTIAL ISOMORPHISMS

DOI10.1017/JSL.2020.19MaRDI QIDQ5070477zbMATH OpenOpenAlexFDO

Authors Mahmood Etedadialiabadi, Su Gao

Publication date 12 April 2022

Published in Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

coherent structurespartial isomorphismultrahomogeneous structuresHenson graphlocally finite structuresextension property for partial automorphismsHrushovski propertyHL-extensionultraextensive structures

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations (20E06) Residual properties and generalizations; residually finite groups (20E26) Set-theoretic model theory (03C55)

Abstract: In this paper we study a notion of HL-extension (HL standing for Herwig--Lascar) for a structure in a finite relational language $mathcalL$. We give a description of all finite minimal HL-extensions of a given finite $mathcalL$-structure. In addition, we study a group-theoretic property considered by Herwig--Lascar and show that it is closed under taking free products. We also introduce notions of coherent extensions and ultraextensive $mathcalL$-structures and show that every countable $mathcalL$-structure can be extended to a countable ultraextensive structure. Finally, it follows from our results that the automorphism group of any countable ultraextensive $mathcalL$-structure has a dense locally finite subgroup.

Recommendations

• The poset of morphism-extension classes of countable graphs
• Extending partial isomorphisms on finite structures
• Homomorphism-Homogeneous Relational Structures
• Metrically universal generic structures in free amalgamation classes
• A geometric zero-one law
• scientific article; zbMATH DE number 4083593
• Set-homogeneous graphs
• Finite irreflexive homomorphism-homogeneous binary relational systems
• Conjugacy for homogeneous ordered graphs
• Relational structures having finitely many full-cardinality restrictions

Cites work

• A combinatorial proof of the extension property for partial isometries
• Coherent extension of partial automorphisms, free amalgamation and automorphism groups
• Extending partial automorphisms and the profinite topology on free groups
• Extending partial isometries
• Extending partial isomorphisms of graphs
• FREE PRODUCT, PROFINITE TOPOLOGY AND FINITELY GENERATED SUBGROUPS
• Finitely approximable groups and actions. I: The Ribes-Zalesskiĭ property
• On The Profinite Topology on a Free Group

Cited in

(15)

• scientific article; zbMATH DE number 3952837 (Why is no real title available?)
• scientific article; zbMATH DE number 6423750 (Why is no real title available?)
• All those EPPA classes (strengthenings of the Herwig-Lascar theorem)
• Coherent extension of partial automorphisms, free amalgamation and automorphism groups
• Extensions of Boolean isometries
• scientific article; zbMATH DE number 4019035 (Why is no real title available?)
• Extending partial isomorphisms of graphs
• Extensions of isomorphisms of subvarieties in flexible varieties
• 1-homogeneous extensions of finite predicate systems
• Extensions of partial 1-isomorphisms of finite predicate structures
• On selfadjoint extensions of semigroups of partial isometries
• The Hrushovski property for hypertournaments and profinite topologies
• On expansions and extensions of powerful digraphs
• Extension problem of subset-controlled quasimorphisms
• Isomorphism property in nonstandard extensions of the Z F C universe

This page was built for publication: ON EXTENSIONS OF PARTIAL ISOMORPHISMS

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