Real closed exponential fields
Paola D'Aquino, Julia F. Knight, Salma Kuhlmann, Karen Lange (2012)
Fundamenta Mathematicae
Similarity:
Ressayre considered real closed exponential fields and “exponential” integer parts, i.e., integer parts that respect the exponential function. In 1993, he outlined a proof that every real closed exponential field has an exponential integer part. In the present paper, we give a detailed account of Ressayre’s construction and then analyze the complexity. Ressayre’s construction is canonical once we fix the real closed exponential field R, a residue field section k, and a well ordering...