Definable sets up to definable bijections in Presburger groups
Logic
2018-01-17 v1
Abstract
We entirely classify definable sets up to definable bijections in -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.
Keywords
Cite
@article{arxiv.1706.02997,
title = {Definable sets up to definable bijections in Presburger groups},
author = {Raf Cluckers and Immanuel Halupczok},
journal= {arXiv preprint arXiv:1706.02997},
year = {2018}
}