Stable reducts of elementary extensions of Presburger arithmetic
Logic
2025-04-22 v2
Abstract
Suppose is elementarily equivalent to an archimedean ordered abelian group with small quotients (for all , is finite). Then every stable reduct of which expands (equivalently every reduct that does not add new unary definable sets) is interdefinable with . This extends previous results on stable reducts of to (stable) reducts of elementary extensions of . In particular this holds for and . 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}
}