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

2024/11/27 by Semenov, A. L., Soprunov, S. F. · 2 citations
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.2411.18181

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.

Cited by

• Definable coordinate geometries over fields, part 1: theory
• Definable coordinate geometries over fields, part 2: applications

Related

• Lattice of relational algebras definable in integers with successor
• Relational lattices via duality
• Relational Lattice Axioms
• First Steps in Relational Lattice
• The equational theory of the natural join and inner union is decidable