activity
20112023
most citedUniform cell decomposition with applications to Chevalley groups

14 citations · 26 across the 13 of their papers we have counts for

collaborators
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★ 1 cited

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…