Lattice of relational algebras definable in integers with successor
arXiv:1201.4439
Abstract
Svenonius theorem reduces the problem of first-order definability to the problem of relationship between groups of permutations. In the present paper we use this approach to describe the lattice of definable relations for the structure of integer numbers with the successor relation.
arXiv commentin this version removed buggy rational numbers section