7 citations · 19 across the 14 of their papers we have counts for
15 papers
Commutative unital rings elementarily equivalent to prescribed product rings
Paola D'Aquino, Angus Macintyre
The classical work of Feferman Vaught gives a powerful, constructive analysis of definability in (generalized) product structures, and certain associated enriched Boolean structure…
The model theory of residue rings of models of Peano Arithmetic: The prime power case
P. D'Aquino, A. Macintyre
In \cite{MacResField} the second author gave a systematic analysis of definability and decidability for rings , where is a model of Peano Arith…
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…