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}$.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,628

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

The Complexity of Bounded Quantifiers in Some Ordered Abelian Groups.Philip Scowcroft - 2007 - Notre Dame Journal of Formal Logic 48 (4):521-550.
Coset-minimal groups.Oleg Belegradek, Viktor Verbovskiy & Frank O. Wagner - 2003 - Annals of Pure and Applied Logic 121 (2-3):113-143.
The dp-rank of Abelian groups.Yatir Halevi & Daniel Palacín - 2019 - Journal of Symbolic Logic 84 (3):957-986.
Borel reductions of profinite actions of SL n.Samuel Coskey - 2010 - Annals of Pure and Applied Logic 161 (10):1270-1279.
Fields of finite Morley rank.Frank Wagner - 2001 - Journal of Symbolic Logic 66 (2):703-706.
Some remarks on inp-minimal and finite burden groups.Jan Dobrowolski & John Goodrick - 2019 - Archive for Mathematical Logic 58 (3-4):267-274.
Semi-bounded relations in ordered modules.Oleg Belegradek - 2004 - Journal of Symbolic Logic 69 (2):499-517.
Rank 3 bingo.Alexandre Borovik & Adrien Deloro - 2016 - Journal of Symbolic Logic 81 (4):1451-1480.
Semi-Bounded Relations in Ordered Modules.Oleg Belegradek - 2004 - Journal of Symbolic Logic 69 (2):499 - 517.
Supersimple ω-categorical groups and theories.David M. Evans & Frank O. Wagner - 2000 - Journal of Symbolic Logic 65 (2):767-776.
Arithmetic of Dedekind cuts of ordered Abelian groups.Antongiulio Fornasiero & Marcello Mamino - 2008 - Annals of Pure and Applied Logic 156 (2):210-244.

Analytics

Added to PP
2023-02-07

Downloads
9 (#1,248,077)

6 months
8 (#351,446)

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