English

Elimination of imaginaries in Ordered Abelian groups with bounded regular rank

Logic 2022-05-10 v3

Abstract

In this paper we study elimination of imaginaries in some classes of pure ordered abelian groups. For the class of ordered abelian groups with bounded regular rank (equivalently with finite spines) we obtain weak elimination of imaginaries once we add sorts for the quotient groups Γ/Δ\Gamma/ \Delta for each definable convex subgroup Δ\Delta, and sorts for the quotient groups Γ/Δ+lΓ\Gamma/ \Delta+ l\Gamma where Δ\Delta is a definable convex subgroup and lN2l \in \mathbb{N}_{\geq 2}. We refer to these sorts as the \emph{quotient sorts}. For the dp-minimal case we obtain a complete elimination of imaginaries, if we also add constants to distinguish the elements of the finite groups Γ/Γ\Gamma/\ell \Gamma for each N \ell \in \mathbb{N}.

Keywords

Cite

@article{arxiv.2106.01500,
  title  = {Elimination of imaginaries in Ordered Abelian groups with bounded regular rank},
  author = {Mariana Vicaria},
  journal= {arXiv preprint arXiv:2106.01500},
  year   = {2022}
}