collaborators

1 paper

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…