Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1234

Preprint Number 1234

Previous Next Preprint server

1234. Raf Cluckers and Immanuel Halupczok
Definable sets up to definable bijections in Presburger groups

Submission date: 9 June 2017


We entirely classify definable sets up to definable bijections in 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.

Mathematics Subject Classification: 03C10, 06F20, 13D15, 16Y60

Keywords and phrases:

Full text arXiv 1706.02997: pdf, ps.

Last updated: March 23 2021 09:20 Please send your corrections to: