Publications > Preprint server > Preprint Number 1013
Preprint Number 1013
1013. Gabriel Conant There are no intermediate structures between the group of integers and Presburger arithmetic E-mail: Submission date: 1 March 2016 Abstract: 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: |
Last updated: March 23 2021 09:19 | Please send your corrections to: |