ON EXTENSIONS OF PARTIAL ISOMORPHISMS

DOI10.1017/JSL.2020.19zbMATH Open1505.03077arXiv1908.02965OpenAlexW3099763571MaRDI QIDQ5070477FDOQ5070477

Authors: Mahmood Etedadialiabadi, Su Gao 

Publication date: 12 April 2022

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

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.

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

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

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)

Cites Work

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

Cited In (15)

• Title not available (Why is that?)
• All those EPPA classes (strengthenings of the Herwig-Lascar theorem)
• Coherent extension of partial automorphisms, free amalgamation and automorphism groups
• Extensions of Boolean isometries
• Title not available (Why is that?)
• 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 \(\mathbf Z\mathbf F\mathbf C\) universe
• Title not available (Why is that?)

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)