Automorphisms and Definability (of Reducts) for Upward Complete Structures

Alexei Semenov () and Sergei Soprunov
Additional contact information
Alexei Semenov: Faculty of Mechanics and Mathematics, Lomonosov Moscow State University, 119991 Moscow, Russia
Sergei Soprunov: Center for Pedagogical Mastery, 119270 Moscow, Russia

Mathematics, 2022, vol. 10, issue 20, 1-7

Abstract: The Svenonius theorem establishes the correspondence between definability of relations in a countable structure and automorphism groups of these relations in extensions of the structure. This may help in finding a description of the lattice constituted by all definability spaces (reducts) of the original structure. Results on definability lattices were previously obtained only for ω -categorical structures with finite signature. In our work, we introduce the concept of an upward complete structure and define the upward completion of a structure. For upward complete structures, the Galois correspondence between definability lattice and the lattice of closed supergroups of the automorphism group of the structure is an anti-isomorphism. We describe the natural class of structures which have upward completion, we call them discretely homogeneous graphs, present the explicit construction of their completion and automorphism groups of completions. We establish the general localness property of discretely homogeneous graphs and present examples of completable structures and their completions.

Keywords: definability; definability lattice; automorphism group; reduct; Svenonius theorem (search for similar items in EconPapers)
JEL-codes: C (search for similar items in EconPapers)
Date: 2022
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
https://www.mdpi.com/2227-7390/10/20/3748/pdf (application/pdf)
https://www.mdpi.com/2227-7390/10/20/3748/ (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:gam:jmathe:v:10:y:2022:i:20:p:3748-:d:939794

Access Statistics for this article

Mathematics is currently edited by Ms. Emma He

More articles in Mathematics from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().