Abstract
AbstractWe consider reducts of the structure ℛ = 〈ℝ, +, ·, <〉 and other real closed fields. We compete the proof that there exists a unique reduct between 〈ℝ, +, <,λa〉a ∈ ℝ and ℛ, and we demonstrate how to recover the definition of multiplication in more general contexts than the semialgebraic one. We then conclude a similar result for reducts between 〈ℝ, ·, <〉 and ℛ and for general real closed fields.
Publisher
Cambridge University Press (CUP)
Reference16 articles.
1. Hardy fields
2. Wilkie A. , Smooth o-minimal theories and the model completeness of the exponential field (preprint).
3. Miller C. , Expansions of the real field with power functions (preprint).
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献