Definable groups in models of Presburger Arithmetic and G^{00}

Alf Onshuus, Mariana Vicaría

This paper is devoted to understand groups definable in Presburger arithmetic. We prove the following theorems: Theorem 1. Every group definable in a model of Presburger Arithmetic…