Groups definable in Presburger arithmetic

Abstract

We determine all groups definable in Presburger arithmetic, up to a finite index subgroup.

References in corpus (1)

• Ind- and Pro- definable sets