Linear Orders in Presburger Arithmetic
From MaRDI portal
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.
This page was built for publication: Linear Orders in Presburger Arithmetic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6411713)
