Elimination of Imaginaries in Ordered Abelian Groups with Bounded Regular Rank

Journal of Symbolic Logic 88 (4):1639-1654 (2023)
  Copy   BIBTEX

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 $\Gamma /(\Delta + \ell \Gamma )$ where $\Delta $ is a definable convex subgroup and $\ell \in \mathbb {N}_{\geq 2}$. We refer to these sorts as the quotient sorts. For the dp-minimal case we obtain a complete elimination of imaginaries if we also add constants to distinguish the cosets of $\ell \Gamma $ in $\Gamma $, where $\ell \in \mathbb {N}_{\geq 2}$.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,865

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Coset-minimal groups.Oleg Belegradek, Viktor Verbovskiy & Frank O. Wagner - 2003 - Annals of Pure and Applied Logic 121 (2-3):113-143.
The Complexity of Bounded Quantifiers in Some Ordered Abelian Groups.Philip Scowcroft - 2007 - Notre Dame Journal of Formal Logic 48 (4):521-550.
Some remarks on inp-minimal and finite burden groups.Jan Dobrowolski & John Goodrick - 2019 - Archive for Mathematical Logic 58 (3-4):267-274.
Some model theory for almost real closed fields.Francoise Delon & Rafel Farre - 1996 - Journal of Symbolic Logic 61 (4):1121-1152.
Essentially periodic ordered groups.Françoise Point & Frank O. Wagner - 2000 - Annals of Pure and Applied Logic 105 (1-3):261-291.
Elementary Equivalence for Abelian-by-Finite and Nilpotent Groups.Francis Oger - 2001 - Journal of Symbolic Logic 66 (3):1471-1480.

Analytics

Added to PP
2023-02-07

Downloads
17 (#1,147,714)

6 months
6 (#851,951)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Dp-minimal valued fields.Franziska Jahnke, Pierre Simon & Erik Walsberg - 2017 - Journal of Symbolic Logic 82 (1):151-165.
Classification Theory and the Number of Nonisomorphic Models.S. Shelah - 1982 - Journal of Symbolic Logic 47 (3):694-696.

Add more references