English

Stable reducts of elementary extensions of Presburger arithmetic

Logic 2025-04-22 v2

Abstract

Suppose NN is elementarily equivalent to an archimedean ordered abelian group (G,+,<)(G,+,<) with small quotients (for all 1n<ω1 \leq n < \omega, [G:nG][G: nG] is finite). Then every stable reduct of NN which expands (G,+)(G,+) (equivalently every reduct that does not add new unary definable sets) is interdefinable with (G,+)(G,+). This extends previous results on stable reducts of (Z,+,<)(\mathbb{Z}, +, <) to (stable) reducts of elementary extensions of Z\mathbb{Z}. In particular this holds for G=ZG = \mathbb{Z} and G=QG = \mathbb{Q}. As a result we answer a question of Conant from 2018. This result is a corollary of a more general statement about expansions of weakly-minimal 1-based expansions of abelian groups with small quotients preserving the algebraic closure operator.

Keywords

Cite

@article{arxiv.2412.10336,
  title  = {Stable reducts of elementary extensions of Presburger arithmetic},
  author = {Eran Alouf and Antongiulio Fornasiero and Itay Kaplan},
  journal= {arXiv preprint arXiv:2412.10336},
  year   = {2025}
}