加载中…
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.

生成讲解博客的中文版本

生成AI智能校验的中文版本