Uniform definition of sets using relations and complement of Presburger Arithmetic

Arthur Milchior

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 th…