10 citations · 20 across the 19 of their papers we have counts for
Showing 2017Show all
3 papers · 1 filter
math.LO2017★ 6 cited
The dp-rank of abelian groups
Yatir Halevi, Daniel Palacín
An equation to compute the dp-rank of any abelian group is given. It is also shown that its dp-rank, or more generally that of any one-based group, agrees with its Vapnik-Chervonen…
math.LO2017
Eliminating Field Quantifiers in Strongly Dependent Henselian Fields
Yatir Halevi, Assaf Hasson
We prove elimination of field quantifiers for strongly dependent henselian fields in the Denef-Pas language. This is achieved by proving the result for a class of fields generalizi…
math.LO2017
Strongly Dependent Ordered Abelian Groups and Henselian Fields
Yatir Halevi, Assaf Hasson
Strongly dependent ordered abelian groups have finite dp-rank. They are precisely those groups with finite spines and . We apply this to…