Uniform definition of sets using relations and complement of Presburger Arithmetic
Arthur Milchior · arXiv (Cornell University) · 2016
In 1996, Michaux and Villemaire considered integer relations $R$ which are not definable in Presburger Arithmetic. That is, not definable in first-order logic over integers with the addition function and the order relation (FO[N,+,