Reducts of some structures over the reals
- 1 September 1993
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 58 (3) , 955-966
- https://doi.org/10.2307/2275107
Abstract
We 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.Keywords
This publication has 6 references indexed in Scilit:
- Tame Topology and O-minimal StructuresPublished by Cambridge University Press (CUP) ,1998
- Some model theory of compact Lie groupsTransactions of the American Mathematical Society, 1991
- Between Groups and ringsRocky Mountain Journal of Mathematics, 1989
- Definable sets in ordered structures. ITransactions of the American Mathematical Society, 1986
- A generalization of the Tarski-Seidenberg theorem, and some nondefinability resultsBulletin of the American Mathematical Society, 1986
- Hardy fieldsJournal of Mathematical Analysis and Applications, 1983