Here we give a complete list of the groups definable in Presburger arithmetic up to a finite index subgroup.
No takes yet. Share an insight, caveat, or question.
Juan Pablo Acosta López (2024) studied this question.