A question of van den Dries and a theorem of Lipshitz and Robinson; Not everything is standard-Reference-Cited by-同舟云学术

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

Published:2007-03 Issue:1 Volume:72 Page:119-122
ISSN:0022-4812
Container-title:Journal of Symbolic Logic
language:en
Short-container-title:J. symb. log.

Author:

Hrushovski Ehud,Peterzil Ya'acov

Abstract

AbstractWe 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.

Publisher

Cambridge University Press (CUP)

Subject

Logic,Philosophy

Reference7 articles.

1. DEFINABLY COMPACT ABELIAN GROUPS

2. An effective version of Wilkie's theorem of the complement and some effective o-minimality results

3. Expansions of algebraically closed fields in o-minimal structures;Peterzil;Selecta Mathematica (New Series),2001

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The six Grothendieck operations on o-minimal sheaves;Mathematische Zeitschrift;2019-04-01

2. A Note on Hieronymi’s Theorem: Every Definably Complete Structure Is Definably Baire;Groups, Modules, and Model Theory - Surveys and Recent Developments;2017

3. Sheaves on $\mathcal T$-topologies;Journal of the Mathematical Society of Japan;2016-01-01

4. A FUNDAMENTAL DICHOTOMY FOR DEFINABLY COMPLETE EXPANSIONS OF ORDERED FIELDS;The Journal of Symbolic Logic;2015-12

5. Measuring definable sets in o-minimal fields;Israel Journal of Mathematics;2015-09