Real Closed Exponential Fields

Zitieren

Dateien zu dieser Ressource

Prüfsumme: 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 D'Aquino, Paola eng Real Closed Exponential Fields deposit-license 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.

Dateiabrufe seit 01.10.2014 (Informationen über die Zugriffsstatistik)

daquino_212455.pdf 57

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto