论文标题
前堡算术中的线性订单
Linear Orders in Presburger Arithmetic
论文作者
论文摘要
我们证明，对于某些n，在z^n上，在Presburger算术的标准模型（z，<， +）中可定义的任何线性顺序均可嵌入（z，<， +）。
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.
