Mariana Vicaría

dblp:264/6853 · DBLP profile ↗
← Back
2ranked-venue papers
1as first author
1since 2021 · last 2023
0000-0001-7051-2579ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 2 · 1 first-author · 1 since 2021
YearPublicationVenuePosition
2023 Elimination of Imaginaries in Ordered Abelian Groups with Bounded Regular Rank
abstract
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}$ .
Mariana Vicaría
J. Symb. Log.1
2020 Definable groups in models of Presburger Arithmetic
Alf Onshuus, Mariana Vicaría
Ann. Pure Appl. Log.2