3 citations · 8 across the 6 of their papers we have counts for
9 papers
Axioms for Commutative Unital Rings elementarily Equivalent to Restricted Products of Connected Rings
Jamshid Derakhshan, Angus Macintyre
We give axioms in the language of rings augmented by a 1-ary predicate symbol with intended interpretation in the Boolean algebra of idempotents as the ideal of finite ele…
-adic model theory, -adic integrals, Euler products, and zeta functions of groups
Jamshid Derakhshan
We give a survey of Denef's rationality theorem on -adic integrals, its uniform in versions, the relevant model theory, and a number of applications to counting subgroups of…
Model Theory of Adeles and Number Theory
Jamshid Derakhshan
This paper is a survey on model theory of adeles and applications to model theory, algebra, and number theory. Sections 1-12 concern model theory of adeles and the results are join…
Solvability in groups with a chain condition on uniformly definable subgroups
Jamshid Derakhshan
We prove a structure theorem for periodic locally soluble groups satisfying a chain condition on intersections of relatively uniformly definable subgroups using results from the th…
Truncations of Ordered Abelian Groups
Paola D'Aquino, Jamshid Derakhshan, Angus Macintyre
The abstract will be added in due course.
Decidability Problems for Adele Rings and related restricted products
Jamshid Derakhshan, Angus Macintyre
We study elementary equivalence of adele rings and decidability for adele rings of general number fields. We prove that elementary equivalence of adele rings implies isomorphism of…