Preprint
Article

Automorphisms and Definability for Upward Complete Structures

Altmetrics

Downloads

151

Views

63

Comments

0

A peer-reviewed article of this preprint also exists.

This version is not peer-reviewed

Submitted:

29 August 2022

Posted:

30 August 2022

You are already at the latest version

Alerts
Abstract
The Svenonius theorem establishes the correspondence between definability of relations in a countable structure and automorphism groups of these relations in the extension of the structure. This correspondence may help in finding the description of the definability lattice constituted by all definability spaces (reducts) of the original structure. However, the major difficulty here is the necessity to consider the extensions which generally are obscure and hardly amenable to classification. Because of that results on definability lattices were obtained only for $\omega$-categorical structures (i.\,e. those in which all elementary extensions are isomorphic to the structure itself). All known definability lattices for such structures proved to be finite. In this work we introduce the concept of upwards complete structure as such in which all its extensions are isomorphic. Further we define upwards completions structures. For such structures Galois correspondence between definability lattice and the lattice of closed supergroups of automorphism group of the structure is an anti-automorphism. These lattices could be infinite in general. We describe the natural class of structures which have upwards completion, that is discretely homogeneous graphs, present the explicit constrcution of their completion and automorphism groups of completions. We establish the general \emph{localness} property of discretely homogeneous graphs and present the examples of completable structures and their completions.
Keywords: 
Subject: Computer Science and Mathematics  -   Computational Mathematics
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.
Prerpints.org logo

Preprints.org is a free preprint server supported by MDPI in Basel, Switzerland.

Subscribe

© 2024 MDPI (Basel, Switzerland) unless otherwise stated