Back to Search
Start Over
On a lattice of relational spaces (reducts) for the order of integers
- 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 :
- Mathematics - Logic
Subjects
Details
- Database :
- arXiv
- Publication Type :
- Report
- Accession number :
- edsarx.2411.18181
- Document Type :
- Working Paper