2 citations · 4 across the 5 of their papers we have counts for
5 papers
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…
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.
From Schanuel's Conjecture to Shapiro's Conjecture
P. D'Aquino, A. Macintyre, G. Terzo
In this paper we prove Shapiro's 1958 Conjecture on exponential polynomials, assuming Schanuel's Conjecture.
A theorem of complete reducibility for exponential polynomials
P. D'Aquino, G. Terzo
In this paper we give a factorization theorem for the ring of exponential polynomials in many variables over an algebraically closed field of characteristic 0 with an exponentiatio…