Real Closed Exponential Fields

Cite This

Files in this item

Checksum: MD5:fa1733c1297a57e8bbd07752013f6e40

D'AQUINO, Paola, Julia F. KNIGHT, Salma KUHLMANN, Karen LANGE, 2011. Real Closed Exponential Fields

@unpublished{DAquino2011Close-21245, title={Real Closed Exponential Fields}, year={2011}, author={D'Aquino, Paola and Knight, Julia F. and Kuhlmann, Salma and Lange, Karen}, note={Also publ. in: Fundamenta Mathematicae ; 219 (2012), 2. - S. 163-190} }

D'Aquino, Paola 2011 terms-of-use D'Aquino, Paola eng Real Closed Exponential Fields 2013-02-04T09:55:24Z 2013-02-04T09:55:24Z Kuhlmann, Salma Lange, Karen Kuhlmann, Salma 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 exponential field has an exponential integer part. In the present paper, we give a detailed account of Ressayre's construction, which becomes canonical once we fix the real closed exponential field, a residue field section, and a well ordering of the field. The procedure is constructible over these objects; each step looks effective, but may require many steps. We produce an example of an exponential field $R$ with a residue field $k$ and a well ordering $<$ such that $D^c(R)$ is low and $k$ and $<$ are $\Delta^0_3$, and Ressayre's construction cannot be completed in $L_{\omega_1^{CK}}$. Lange, Karen Knight, Julia F. Knight, Julia F.

Downloads since Oct 1, 2014 (Information about access statistics)

daquino_212455.pdf 126

This item appears in the following Collection(s)

Search KOPS


My Account