2 citations · 8 across the 6 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
math.LO2016
Model Theory of Adeles I
Jamshid Derakhshan, Angus Macintyre
We study the model theory of the ring of adeles of a number field. We obtain quantifier elimination results in the language of rings and some enrichments. We given consequences for…
math.LO2016
Model theory of finite-by-Presburger Abelian groups and finite extensions of -adic fields
Jamshid Derakhshan, Angus Macintyre
We define a class of pre-ordered abelian groups that we call finite-by-Presburger groups, and prove that their theory is model-complete. We show that certain quotients of the multi…
math.LO2016
Model Completeness for Henselian Fields with finite ramification valued in a -Group
Jamshid Derakhshan, Angus Macintyre
We prove that the theory of a Henselian valued field of characteristic zero, with finite ramification, and whose value group is a -group, is model-complete in the language of ri…