7 citations · 19 across the 14 of their papers we have counts for
4 papers · 1 filter
Comparing C and Zilber exponential fields, zero sets of exponential polynomials
Paola D Aquino, Angus Macintyre, Giuseppina Terzo
We continue the research programme of comparing the complex exponential field with Zilber exponential. For the latter we prove, using diophantine geometry, various properties about…
Enrichments of Boolean Algebras: a uniform treatment of some classical and some novel examples
Jamshid Derakhshan, Angus Macintyre
We give a unified treatment of the model theory of various enrichments of infinite atomic Boolean algebras, with special attention to quantifier-eliminations, complete axiomatizati…
Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields
Raf Cluckers, Jamshid Derakhshan, Eva Leenknegt +1
We give a definition, in the ring language, of Z_p inside Q_p and of F_p[[t]] inside F_p((t)), which works uniformly for all and all finite field extensions of these fields, an…
Some supplements to Feferman-Vaught related to the model theory of adeles
Jamshid Derakhshan, Angus Macintyre
We give foundational results for the model theory of the ring of finite adeles over a number field, construed as a restricted product of local fields. In contrast to Weispfenning w…