MODNET
Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1138

Preprint Number 1138

Previous Next Preprint server


1138. Alf Onshuus and Mariana Vicaría
Definable groups in models of Presburger Arithmetic and G^{00}
E-mail:

Submission date: 29 December 2016

Abstract:

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 is abelian- by-finite.

Theorem 2. Every bounded group definable in a model (Z,+,<) of Presburger Arithmetic is definably isomorphic to (Z, +)^{n} mod out by a lattice.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1612.09042: pdf, ps.


Last updated: January 9 2017 14:05 Please send your corrections to: