7 citations · 19 across the 14 of their papers we have counts for
Showing 2013 · math.LOShow all
3 papers · 2 filters
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…