Submission date: 23 September 2022

Abstract:

We prove that any linear order definable in the standard model (Z, <, +) of Presburger arithmetic is (Z, <, +)-definably embeddable into the lexicographic ordering on Z^n, for some n.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 2209.11598: pdf, ps.