arXiv:math/0509658 [math.LO]AbstractReferencesReviewsResources
A question of van den Dries and a theorem of Lipshitz and Robinson: Not everything is standard
Ehud Hrushovski, Ya'acov Peterzil
Published 2005-09-28Version 1
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.
Categories: math.LO
Related articles: Most relevant | Search more
arXiv:1910.05834 [math.LO] (Published 2019-10-13)
On $\aleph_ω$ being Jónsson
arXiv:1808.00906 [math.LO] (Published 2018-07-28)
Axioms for the Real Numbers: A Constructive Approach
arXiv:2011.14833 [math.LO] (Published 2020-11-30)
Connectedness in structures on the real numbers: o-minimality and undecidability