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

2005/09/28 by Ehud Hrushovski, Hrushovski, Ehud, Ya'acov Peterzil +1
Mathematics · #FOS: Mathematics #Logic (math.LO) #math.LO

paper · pdf · doi:10.48550/arxiv.math/0509658

arxiv created 2005/09/28 · arxiv updated 2009/12/01

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.

Related

• D-minimal structures
• PL and differential topology in o-minimal structure
• Expansions of the real field by open sets: definability versus interpretability
• The structure on the real field generated by the standard part map on an o-minimal expansion of a real closed field
• Powers are easy to avoid