Real closed exponential fields


Dateien zu dieser Ressource

Dateien Größe Format Anzeige

Zu diesem Dokument gibt es keine Dateien.

D'AQUINO, Paola, Julia F. KNIGHT, Salma KUHLMANN, Karen LANGE, 2012. Real closed exponential fields. In: Fundamenta Mathematicae. 219(2), pp. 163-190. ISSN 0016-2736. eISSN 1730-6329

@article{D'Aquino2012close-23418, title={Real closed exponential fields}, year={2012}, doi={10.4064/fm219-2-6}, number={2}, volume={219}, issn={0016-2736}, journal={Fundamenta Mathematicae}, pages={163--190}, author={D'Aquino, Paola and Knight, Julia F. and Kuhlmann, Salma and Lange, Karen} }

D'Aquino, Paola D'Aquino, Paola Lange, Karen deposit-license Real closed exponential fields Kuhlmann, Salma Kuhlmann, Salma 2013-05-27T07:25:20Z eng 2013-05-27T07:25:20Z 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 ≺ on R. The construction is clearly constructible over these objects. Each step looks effective, but there may be many steps. We produce an example of an exponential field R with a residue field section k and a well ordering ≺ on R such that D<sup>c</sup>(R) is low and k and ≺ are Δ 0 3, and Ressayre's construction cannot be completed in L<sub>ωCK1</sub>. Knight, Julia F. Knight, Julia F. Fundamenta mathematicae ; 219 (2012), 2. - S. 163-190 Lange, Karen 2012

Das Dokument erscheint in:

KOPS Suche


Mein Benutzerkonto