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

Preprint Number 1013

Previous Next Preprint server

1013. Gabriel Conant
There are no intermediate structures between the group of integers and Presburger arithmetic

Submission date: 1 March 2016


We show that if a first-order structure M, with universe Z, is an expansion of (Z,+,0) and a reduct of (Z,+,<,0), then M must be interdefinable with (Z,+,0) or (Z,+,<,0).

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1603.00454: pdf, ps.

Last updated: March 16 2016 17:27 Please send your corrections to: