A Question of Van Den Dries and a Theorem of Lipshitz and Robinson; Not Everything Is Standard

Journal of Symbolic Logic 72 (1):119 - 122 (2007)
  Copy   BIBTEX

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,611

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

T-Convexity and Tame Extensions II.Lou Van Den Dries - 1997 - Journal of Symbolic Logic 62 (1):14 - 34.
Correction to "T-Convexity and Tame Extensions II".Lou Van Den Dries - 1998 - Journal of Symbolic Logic 63 (4):1597 -.
Algebraic theories with definable Skolem functions.Lou van den Dries - 1984 - Journal of Symbolic Logic 49 (2):625-629.
Algebraic Theories with Definable Skolem Functions.Lou van Den Dries - 1984 - Journal of Symbolic Logic 49 (2):625 - 629.
Alfred Tarski's Elimination Theory for Real Closed Fields.Lou van Den Dries - 1988 - Journal of Symbolic Logic 53 (1):7 - 19.

Analytics

Added to PP
2010-08-24

Downloads
43 (#373,177)

6 months
9 (#320,673)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references