7 citations · 7 across the 4 of their papers we have counts for
1 paper · 2 filters
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…