论文信息 - Reducts of some structures over the reals

Reducts of some structures over the reals

We consider reducts of the structure ℛ = 〈ℝ, +, ·, 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 〈ℝ, ·,

Ya'acov Peterzil | Y. Peterzil

[1] M-F Roy,et al. Géométrie algébrique réelle , 1987 .

[2] Anand Pillay,et al. Some model theory of compact Lie groups , 1991 .

[3] Gary A. Martin. Definability in Reducts of Algebraically Closed Fields , 1988, J. Symb. Log..

[4] L. Dries. A generalization of the Tarski-Seidenberg theorem, and some nondefinability results , 1986 .

[5] A. Pillay,et al. DEFINABLE SETS IN ORDERED STRUCTURES. I , 1986 .

[6] Anand Pillay,et al. Between Groups and rings , 1989 .