On extensions of partial isomorphisms

Journal of Symbolic Logic 87 (1):416-435 (2022)
  Copy   BIBTEX

Abstract

In this paper we study a notion of HL-extension for a structure in a finite relational language $\mathcal {L}$. We give a description of all finite minimal HL-extensions of a given finite $\mathcal {L}$ -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 $\mathcal {L}$ -structures and show that every countable $\mathcal {L}$ -structure can be extended to a countable ultraextensive structure. Finally, it follows from our results that the automorphism group of any countable ultraextensive $\mathcal {L}$ -structure has a dense locally finite subgroup.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Partial Isomorphisms and Infinitary Languages.Jean-Pierre Calais - 1972 - Mathematical Logic Quarterly 18 (25‐30):435-456.
Games played on partial isomorphisms.Vaananen Jouko & Velickovic Boban - 2004 - Archive for Mathematical Logic 43 (1).
Partial Isomorphisms and Infinitary Languages.Jean-Pierre Calais - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (25-30):435-456.
Games played on partial isomorphisms.Jouko Väänänen & Boban Veličković - 2004 - Archive for Mathematical Logic 43 (1):19-30.
A set of axioms for nonstandard extensions.Abhijit Dasgupta - 2011 - Mathematical Logic Quarterly 57 (5):485-493.
Probabilistic Canonical Models for Partial Logics.François Lepage & Charles Morgan - 2003 - Notre Dame Journal of Formal Logic 44 (3):125-138.
Second-order type isomorphisms through game semantics.Joachim de Lataillade - 2008 - Annals of Pure and Applied Logic 151 (2-3):115-150.
Quasi-varieties: A special access.Hans-Jürgen Hoehnke - 2004 - Studia Logica 78 (1-2):249 - 260.
Partial algebras for Łukasiewicz logics and its extensions.Thomas Vetterlein - 2005 - Archive for Mathematical Logic 44 (7):913-933.
Effective extensions of partial orders.Dev Kumar Roy - 1990 - Mathematical Logic Quarterly 36 (3):233-236.

Analytics

Added to PP
2020-07-21

Downloads
12 (#929,405)

6 months
4 (#319,344)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On extensions of partial isomorphisms.Mahmood Etedadialiabadi & Su Gao - 2022 - Journal of Symbolic Logic 87 (1):416-435.

Add more citations

References found in this work

On extensions of partial isomorphisms.Mahmood Etedadialiabadi & Su Gao - 2022 - Journal of Symbolic Logic 87 (1):416-435.

Add more references