Dp-minimal expansions of discrete ordered abelian groups
Erik Walsberg
所有作者
Erik Walsberg
文献摘要
If Z is a dp-minimal expansion of a discrete ordered abelian
group (Z,<,+) and Z does not admit a nontrivial definable convex
subgroup then Z is interdefinable with (Z,<,+) and (Z,<,+) is
elementarily equivalent to (Z,<,+).