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

Preprint Number 2230

Previous Next Preprint server

2230. Alfred Dolich and John Goodrick
Discrete sets definable in strong expansions of ordered Abelian groups

Submission date: 14 August 2022


We study the structure of infinite discrete sets D definable in expansions of ordered Abelian groups whose theories are strong and definably complete, with particular emphasis on the set D' comprised of differences between successive elements. In particular, if the burden of the structure is at most n, then the result of applying the operation of replacing D by D' n times must be a finite set (Theorem 2.22). In the case when the structure is densely ordered and has burden 2, we show that any definable unary discrete set must be definable in some elementary extension of the structure (R; <, +, Z) (Theorem 3.47).

Mathematics Subject Classification: 03C45

Keywords and phrases: Dp-rank, burden, Abelian groups, strong theories

Full text arXiv 2208.06929: pdf, ps.

Last updated: August 31 2022 16:54 Please send your corrections to: