Back to Search Start Over

On a lattice of relational spaces (reducts) for the order of integers

Authors :
Semenov, A. L.
Soprunov, S. F.
Publication Year :
2024

Abstract

We investigate the definability (reducts) lattice of the order of integers and describe a sublattice generated by relations 'between', 'cycle', 'separation', 'neighbor', '1-codirection', 'order' and equality'. Some open questions are proposed.

Subjects

Subjects :
Mathematics - Logic

Details

Database :
arXiv
Publication Type :
Report
Accession number :
edsarx.2411.18181
Document Type :
Working Paper