Hostname: page-component-848d4c4894-wzw2p Total loading time: 0 Render date: 2024-05-08T03:32:06.892Z Has data issue: false hasContentIssue false
  • English
  • Français

A question of van den Dries and a theorem of Lipshitz and Robinson; Not everything is standard

Published online by Cambridge University Press:  12 March 2014

Ehud Hrushovski  and
Ya'acov Peterzil
Ehud Hrushovski
Affiliation:
Hebrew University, Department of Mathematics, Jerusalem, Israel. E-mail: ehud@math.huji.ac.il
Ya'acov Peterzil
Affiliation:
University of Haifa, Department of Mathematics, Haifa, Israel. E-mail: kobi@math.haifa.ac.il
Get access Rights & Permissions [Opens in a new window]

Abstract

We use a new construction of an o-minimal structure, due to Lipshitz and Robinson, to answer a question of van den Dries regarding the relationship between arbitrary o-minimal expansions of real closed fields and structures over the real numbers. We write a first order sentence which is true in the Lipshitz-Robinson structure but fails in any possible interpretation over the field of real numbers.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 72 , Issue 1 , March 2007 , pp. 119 - 122
Copyright
Copyright © Association for Symbolic Logic 2007

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

[1]Berarducci, A. and Servi, T., An effective version of Wilkie's theorem of the complement and some effective o-minimality results, Annals of Pure and Applied Logic, vol. 125 (2004), no. 1–3, pp. 43–74.CrossRefGoogle Scholar
[2]van den Dries, Lou, o-minimal structures, Logic: From Foundations to Applications (Staffordshire, 1993), Oxford Scientific Publications, Oxford University Press, New York, 1996, pp. 137–185.Google Scholar
[3]Edmundo, M. J. and Otero, M., Definably compact abelian groups, Journal of Mathematical Logic, vol. 4 (2004), no. 2, pp. 163–180.CrossRefGoogle Scholar
[4]Lipshitz, L. and Robinson, Z., Overconvergent real closed quantifier elimination, Bulletin of the London Mathematical Society, to appear.Google Scholar
[5]Peterzil, Y. and Starchenko, S., A trichotomy theorem for o-minimal structures, Proceedings of the London Mathematical Society (3), vol. 77 (1998), no. 3, pp. 481–523.CrossRefGoogle Scholar
[6]— Peterzil, Y. and Starchenko, S., Expansions of algebraically closed fields in o-minimal structures, Selecta Mathematica (New Series), vol. 7 (2001), no. 3, pp. 409–445.Google Scholar
[7]Woerheide, A., O-minimal homology, Ph .D.thesis, University of Illinois at Urbana-Champaign, 1996.Google Scholar