Year: 2016
Type: preprint
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,+,
Source: arXiv (Cornell University)
Authors: Onshuus, Alf, Vicaría, Mariana
Language: English
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W2561651679