P D'Aquino, JF Knight, S Kuhlmann… - arXiv preprint arXiv …, 2011 - arxiv.org
In an extended abstract Ressayre considered real closed exponential fields and integer
parts that respect the exponential function. He outlined a proof that every real closed …