Model theory of finite-by-Presburger Abelian groups and finite extensions of $p$-adic fields por Derakhshan, J, Macintyre, A

Model theory of adeles I por Derakhshan, J, Macintyre, A

Model completeness for Henselian fields with finite ramification valued in a $Z$-group por Derakhshan, J, Macintyre, A

Enrichments of Boolean Algebras: a uniform treatment of some classical and some novel examples por Derakhshan, J, Macintyre, A

Enrichments of Boolean algebras by Presburger predicates por Derakhshan, J, Macintyre, A

Some supplements to Feferman–Vaught related to the model theory of adeles por Derakhshan, J, MacIntyre, A

Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields por Cluckers, R, Derakhshan, J, Leenknegt, E, Macintyre, A

Uniform cell decomposition with applications to Chevalley groups por Berman, M, Derakhshan, J, Onn, U, Paajanen, P