English

Dp-minimal expansions of discrete ordered abelian groups

Logic 2020-04-29 v2

Abstract

If Z\mathcal{Z} is a dp-minimal expansion of a discrete ordered abelian group (Z,<,+)(Z,<,+) and Z\mathcal{Z} does not admit a nontrivial definable convex subgroup then Z\mathcal{Z} is interdefinable with (Z,<,+)(Z,<,+) and (Z,<,+)(Z,<,+) is elementarily equivalent to (Z,<,+)(\mathbb{Z},<,+).

Keywords

Cite

@article{arxiv.1903.06222,
  title  = {Dp-minimal expansions of discrete ordered abelian groups},
  author = {Erik Walsberg},
  journal= {arXiv preprint arXiv:1903.06222},
  year   = {2020}
}

Comments

This has be superseded by arXiv:1909.05399