15 citations · 173 across the 43 of their papers we have counts for
4 papers · 2 filters
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…
Valuation theory of exponential Hardy fields II: Principal parts of germs in the Hardy field of o-minimal exponential expansions of the reals
Franz-Viktor Kuhlmann, Salma Kuhlmann
We present a general structure theorem for the Hardy field of an o-minimal expansion of the reals by restricted analytic functions and an unrestricted exponential. We proceed to an…
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…
A Note on Schanuel's Conjectures for Exponential Logarithmic Power Series Fields
Salma Kuhlmann, Mickael Matusinski, Ahuva C. Shkop
In [1], J. Ax proved a transcendency theorem for certain differential fields of characteristic zero: the differential counterpart of the still open Schanuel's conjecture about the…