arXiv Analytics

Sign in

arXiv:2411.18181 [math.LO]AbstractReferencesReviewsResources

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

A. L. Semenov, S. F. Soprunov

Published 2024-11-27Version 1

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.

Categories: math.LO
Related articles: Most relevant | Search more
arXiv:1504.08163 [math.LO] (Published 2015-04-30)
Logic Blog 2014
arXiv:1608.02342 [math.LO] (Published 2016-08-08)
Recent Progress on Definability of Henselian Valuations
arXiv:1805.07048 [math.LO] (Published 2018-05-18)
$κ$-Madness and Definability

Links

Toolbox