Dp-minimal expansions of discrete ordered abelian groups [article]

Erik Walsberg
2020 arXiv   pre-print
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,<,+).
arXiv:1903.06222v2 fatcat:d53yih5fpndwhjnmk6pkr4n5wq