Hostname: page-component-76fb5796d-9pm4c Total loading time: 0 Render date: 2024-04-27T05:06:18.058Z Has data issue: false hasContentIssue false
  • English
  • Français

Reducts of some structures over the reals

Published online by Cambridge University Press:  12 March 2014

Ya′acov Peterzil
Ya′acov Peterzil*
Affiliation:
Department of Mathematics, McGill University, Montréal, Québec H3A 2K6, Canada Institute of Mathematics, 24–29 St. Giles, Oxford, OXI 3LB, England, E-mail: peterzil@maths.ox.ac.uk
Get access Rights & Permissions [Opens in a new window]

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.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 58 , Issue 3 , September 1993 , pp. 955 - 966
Copyright
Copyright © Association for Symbolic Logic 1993

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[BCR]Bochnak, J., Coste, M., and Roy, M. F., Geometrie algebrique reelle, Springer-Verlag, Berlin, 1988.Google Scholar
[vdD1]van den Dries, L., A generalization of the Tarski-Seidenberg theorem and some nondefinability results, Bulletin of the American Mathematical Society, vol. 15 (1986), pp. 189–193.CrossRefGoogle Scholar
[vdD2]van den Dries, L., Tame topology and o-minimal structures, preliminary version, 1991.Google Scholar
[M]Martin, G., Definability in reducts of algebraically closed fields, this Journal, vol. 53 (1988), pp. 188–199.Google Scholar
[MP]Marker, D. and Pillay, A., Reducts of 〈ℂ, +, · 〉 that contain +, this Journal, vol. 55 (1990), pp. 1243–1251.Google Scholar
[MPP]Marker, D., Peterzil, Y., and Pillay, A., Additive reducts of real closed fields, this Journal, vol. 57 (1992), pp. 109–117.Google Scholar
[NP]Nesin, A. and Pillay, A., Some model theory for compact Lie groups, Transactions of the American Mathematical Society, vol. 326 (1991), pp. 453–463.CrossRefGoogle Scholar
[Mi]Miller, C., Expansions of the real field with power functions (preprint).Google Scholar
[Pel]Peterzil, Y., Some definability questions in structures over the reals and in general o-minimal structures, Ph.D. thesis, University of California, Berkeley, 1991.Google Scholar
[Pe2]Peterzil, Y., A structure theorem for semibounded sets in the reals, this Journal, vol. 57 (1992), pp. 779–794.Google Scholar
[PS1]Pillay, A. and Steinhorn, C., Definable sets in ordered structures I, Transactions of the American Mathematical Society, vol. 295 (1986), pp. 565–592.CrossRefGoogle Scholar
[PSS]Pillay, A., Scowcroft, P., and Steinhorn, C., Between groups and rings, Rocky Mountain Journal of Mathematics, vol. 9 (1989), pp. 871–885.Google Scholar
[R]Rabinovich, E., Definability of a field in sufficiently rich incidence systems, QMW Math Notes. London School of Math. Science Queen Mary & Westfield College.Google Scholar
[RZ]Rabinovich, E. and Zil′ber, B., Additive reducts of algebraically closed fields (preprint).Google Scholar
[RO]Rosenlicht, M., Hardy fields, Journal of Mathematical Analysis and Applications, vol. 93 (1983), pp. 297–311.CrossRefGoogle Scholar
[W]Wilkie, A., Smooth o-minimal theories and the model completeness of the exponential field (preprint).Google Scholar