2 papers
math.LO2024
On a lattice of relational spaces (reducts) for the order of integers
A. L. Semenov, S. F. Soprunov
We investigate the definability (reducts) lattice of the order of integers and describe a sublattice generated by relations 'between', 'cycle', 'separation', 'neighbor', '1-codirec…
math.LO2015
Definability lattice for addition of rationals
A. L. Semenov, S. F. Soprunov
In the present paper we discuss the lattice of reducts of +