Linear Orders in Presburger Arithmetic

2022/09/23 by Pakhomov, Fedor, Zapryagaev, Alexander
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.2209.11598

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ⁿ, for some n.

Related

• Interpretations of Linear Orderings in Presburger Arithmetic
• Multi-Dimensional Interpretations of Presburger Arithmetic in Itself
• Note on Representing ℵ₀-categorical Linear Orders
• Interpretations of Presburger Arithmetic in Itself
• Keisler's Order is Not Linear, Assuming a Supercompact