We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
A combinatorial version of the Svenonius theorem on definability.
- Authors
SEMENOV, A. L.; SOPRUNOV, S. F.
- Abstract
The Svenonius theorem describes the (first-order) definability in a structure in terms of permutations preserving the relations of elementary extensions of the structure. In the present article, we prove a version of this theorem using permutations of sequences over the original structure (these are permutations of sequences of tuples of the structure elements as well). We say that such a permutation ϕ almost preserves a relation if for every sequence of its arguments the value of the relation on an n-th element of the sequence and on its image under ϕ coincide for almost all numbers n. We prove that a relation is definable in a structure iff the relation is almost preserved by all permutations almost preserving the relations of the structure. This version limits consideration to the original structure only and does not refer to any logical notion, such as 'elementary equivalence'.
- Subjects
DEFINABILITY theory (Mathematical logic); REDUCTION (Linguistics); AUTOMORPHISMS; PERMUTATIONS; PHILOSOPHICAL analysis
- Publication
Logic Journal of the IGPL, 2015, Vol 23, Issue 6, p966
- ISSN
1367-0751
- Publication type
Article
- DOI
10.1093/jigpal/jzv038