Valuation theoretic content of the Marker-Steinhorn theorem
Marcus Tressl
Source: J. Symbolic Logic Volume 69, Issue 1
(2004), 91-93.
First Page:
Show
Hide
Full-text: Access denied (no subscription
detected)
We're sorry, but we are unable to provide
you with the full text of this article because we are not able to identify
you as a subscriber.
If you have a personal subscription to
this journal, then please login. If you are already logged in, then you
may need to update your profile to register your subscription. Read more about accessing full-text
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.jsl/1080938828
Digital Object Identifier: doi:10.2178/jsl/1080938828
Mathematical Reviews number (MathSciNet): MR2039348
Zentralblatt MATH identifier: 1080.03025
References
J.-M. Lion and P. Speissegger A geometric proof of the definability of Hausdorff limits, preprint, February 2003.
Mathematical Reviews (MathSciNet): MR2099073
Digital Object Identifier: doi:10.1007/s00029-004-0360-z
Zentralblatt MATH: 1059.03031
D. Marker and C. Steinhorn Definable types in $o$-minimal theories, Journal of Symbolic Logic, vol. 59 (1994), pp. 185--198.
Mathematical Reviews (MathSciNet): MR1264974
JSTOR: links.jstor.org
A. Pillay Definability of types and paires of $o$-minimal structures, Journal of Symbolic Logic, vol. 59 (1994), no. 4, pp. 1400--1409.
Mathematical Reviews (MathSciNet): MR1312317
JSTOR: links.jstor.org
B. Poizat Cours de théorie des modèles,1985.
Mathematical Reviews (MathSciNet): MR817208
L. van den Dries and A. H. Lewenberg $T$-convexity and tame extensions, Journal of Symbolic Logic, vol. 60 (1995), no. 1, pp. 74--101.
Mathematical Reviews (MathSciNet): MR1324502
JSTOR: links.jstor.org
