加载中…
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.

生成讲解博客的中文版本

生成AI智能校验的中文版本