Definable sets up to definable bijections in Presburger groups
Abstract
We entirely classify definable sets up to definable bijections in $\mathbb{Z}$-groups, where the language is the one of ordered abelian groups. From this, we deduce, among others, a classification of definable families of bounded definable sets.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2017
- DOI:
- 10.48550/arXiv.1706.02997
- arXiv:
- arXiv:1706.02997
- Bibcode:
- 2017arXiv170602997C
- Keywords:
-
- Mathematics - Logic;
- 03C10;
- 06F20;
- 13D15;
- 16Y60
- E-Print:
- doi:10.1112/tlm3.12011