Stable reducts of elementary extensions of Presburger arithmetic

Eran Alouf, Antongiulio Fornasiero, Itay Kaplan

Suppose $N$ is elementarily equivalent to an archimedean ordered abelian group $(G,+,<)$ with small quotients (for all $1\le n<\omega$, $[G:nG]$ is finite). Then every stable reduc…