2 citations · 5 across the 4 of their papers we have counts for
4 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…
Some model-theoretic perspectives on the structure sheaves of Z hat and the ring of finite adèles over Q
Paola D'Aquino, Angus J. Macintyre, Margarita Otero
We use the classical Ax-Kochen-Ershov analysis of the model theory of Henselian fields to bring out some model-theoretical aspects of the structure sheaf of the spectrum of Z^ and…
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…