5 citations · 14 across the 15 of their papers we have counts for
4 papers · 1 filter
A valuation theoretic characterization of recursively saturated real closed fields
Paola D'Aquino, Salma Kuhlmann, Karen Lange
We give a valuation theoretic characterization for a real closed field to be recursively saturated. Our result extends the characterization of Harnik and Ressayre \cite{hr} for a d…
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…
On the Value Group of a Model of Peano Arithmetic
Merlin Carl, Paola D'Aquino, Salma Kuhlmann
We investigate - real closed fields, that is, real closed fields which admit an integer part whose non-negative cone is a model of Peano Arithmetic. We show that the value gr…