Real closed exponential fields

DOI10.4064/FM219-2-6MaRDI QIDQ3168567zbMATH OpenOpenAlexFDO

Authors Paola D'Aquino, Salma Kuhlmann, Karen Lange, J. F. Knight

Publication date 31 October 2012

Published in Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1112.4062

zbMATH Keywords

real closed exponential fieldexponential integer part

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory of fields (12L12)

Abstract: 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 $Delt{a}_3^0$, and Ressayre's construction cannot be completed in $L_{omeg{a}_1^{CK}}$.

Recommendations

• scientific article; zbMATH DE number 440484
• Structures associated with real closed fields and the axiom of choice
• Complexity of structures associated with real closed fields
• On the value group of a model of Peano arithmetic
• A construction of real closed fields

Cited in

(10)

• Surreal ordered exponential fields
• Lengths of developments in \(K((G))\)
• Real closed graded fields
• scientific article; zbMATH DE number 440484 (Why is no real title available?)
• On the value group of a model of Peano arithmetic
• Analogues of Shepherdson's theorem for a language with exponentiation
• A construction of real closed fields
• Complexity of structures associated with real closed fields
• Limit computable integer parts
• Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts

This page was built for publication: Real closed exponential fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3168567)