Model completeness of o-minimal structures expanded by Dedekind cuts
Marcus Tressl
Source: J. Symbolic Logic Volume 70, Issue 1 (2005), 29-60.
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/1107298509
Digital Object Identifier: doi:10.2178/jsl/1107298509
Mathematical Reviews number (MathSciNet):
MR2119122
Zentralblatt MATH identifier:
05004787
References
W. Baur On the elementary theory of pairs of real closed fields. II, Journal of Symbolic Logic, vol. 47 (1982), no. 3, pp. 669--679.
Mathematical Reviews (MathSciNet):
MR666824
JSTOR: links.jstor.org
H. G. Dales and W. H. Woodin Super-real fields, London Mathematical Society Monographs. New Series, vol. 14, The Clarendon Press Oxford University Press, New York ,1996.
Mathematical Reviews (MathSciNet):
MR1420859
Zentralblatt MATH:
0856.54021
G. Gherlin and M. Dickmann Real closed rings. II. Model Theory, Annals of Pure and Applied Logic, vol. 25 (1983), no. 3, pp. 213--231.
Mathematical Reviews (MathSciNet):
MR730855
Digital Object Identifier: doi:10.1016/0168-0072(83)90019-2
A. Macintyre Classifying pairs of real closed fields, Ph.D. thesis, Stanford University ,1968.
D. Macpherson, D. Marker, and C. Steinhorn Weakly o-minimal structures and real closed fields, Transactions of the American Mathematical Society, vol. 352 (2000), no. 12, pp. 5435--5483.
Mathematical Reviews (MathSciNet):
MR1781273
Digital Object Identifier: doi:10.1090/S0002-9947-00-02633-7
D. Marker Omitting types in o-minimal theories, Journal of Symbolic Logic, vol. 51 (1986), no. 1, pp. 63--74.
Mathematical Reviews (MathSciNet):
MR830073
JSTOR: links.jstor.org
B. Poizat Cours de théorie des modèles, Villeurbanne: Nur al-Mantiq wal-Ma'rifah ,1985.
Mathematical Reviews (MathSciNet):
MR817208
M. Tressl Dedekind cuts in polynomially bounded o-minimal expansions of real closed fields, Dissertation ,Regensburg 1996.
L. van den Dries $T$-convexity and tame extensions. II, Journal of Symbolic Logic, vol. 62 (1997), no. 1, pp. 14--34.
Mathematical Reviews (MathSciNet):
MR1450511
JSTOR: links.jstor.org
L. van den Dries and A. H. Lewenberg $T$-convexity and tame extensions, Journal of Symbolic Logic, vol. 60 (1995), no. 1, pp. 74--102.
Mathematical Reviews (MathSciNet):
MR1324502
JSTOR: links.jstor.org
L. van den Dries and P. Speissegger The field of reals with multisummable series and the exponential function, Proceedings of the London Mathematical Society. Third Series, vol. 81 (2000), no. 3, pp. 513--565.
Mathematical Reviews (MathSciNet):
MR1781147
Digital Object Identifier: doi:10.1112/S0024611500012648
A. J. Wilkie Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function, Journal of the American Mathematical Society, vol. 9 (1996), no. 4, pp. 1051--1094.
Mathematical Reviews (MathSciNet):
MR1398816
Digital Object Identifier: doi:10.1090/S0894-0347-96-00216-0
JSTOR: links.jstor.org
