14 citations · 26 across the 13 of their papers we have counts for
Showing 2013Show all
3 papers · 1 filter
math.LO2013
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…
math.LO2013★ 2 cited
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…
math.LO2013★ 1 cited
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…