Heirs of box types in polynomially bounded structures
Marcus Tressl
Source: J. Symbolic Logic Volume 74, Issue 4 (2009), 1225-1263.
Abstract
A box type is an n-type of an o-minimal structure which is uniquely determined by the projections to the coordinate axes. We characterize heirs of box types of a polynomially bounded o-minimal structure M. From this, we deduce various structure theorems for subsets of Mk, definable in the expansion ℳ of M by all convex subsets of the line. We show that ℳ after naming constants, is model complete provided M is model complete.
Primary Subjects: Primary 03C64, Secondary 13J30
Keywords: model theory; o-minimality; real closed fields; heirs; weakly o-minimal; model completeness; Dedekind cuts; valuation theory
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/1254748689
Digital Object Identifier: doi:10.2178/jsl/1254748689
References
Y. Baisalov and B. Poizat, Paires de structures o-minimales, Journal of Symbolic Logic, vol. 63 (1998), no. 2, pp. 570--578.
Mathematical Reviews (MathSciNet):
MR1627306
Zentralblatt MATH:
0910.03025
Digital Object Identifier: doi:10.2307/2586850
JSTOR: links.jstor.org
A. Dolich, Forking and independence in o-minimal theories, Journal of Symbolic Logic, vol. 69 (2004), no. 1, pp. 215--240.
Mathematical Reviews (MathSciNet):
MR2039358
Zentralblatt MATH:
1074.03016
Digital Object Identifier: doi:10.2178/jsl/1080938838
Project Euclid: euclid.jsl/1080938838
M. Knebusch, Weakly semialgebraic spaces, Lecture Notes in Mathematics, 1367, Springer-Verlag, Berlin, 1989.
Mathematical Reviews (MathSciNet):
MR989270
Zentralblatt MATH:
0681.14008
D. Lascar, Stability in model theory, Pitman Monographs and Surveys in Pure and Applied Mathematics, 36, Longman Scientific & Technical, Harlow; John Wiley & Sons, Inc., New York, 1987.
Mathematical Reviews (MathSciNet):
MR925824
D. Lascar and B. Poizat, An introduction to forking, Journal of Symbolic Logic, vol. 44 (1979), no. 3, pp. 330--350.
Mathematical Reviews (MathSciNet):
MR540665
Zentralblatt MATH:
0424.03013
Digital Object Identifier: doi:10.2307/2273127
JSTOR: links.jstor.org
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
Zentralblatt MATH:
0982.03021
Digital Object Identifier: doi:10.1090/S0002-9947-00-02633-7
JSTOR: links.jstor.org
D. Marker, Omitting types in o-minimal theories, Journal of Symbolic Logic, vol. 51 (1986), no. 1, pp. 63--74.
Mathematical Reviews (MathSciNet):
MR830073
Zentralblatt MATH:
0596.03031
Digital Object Identifier: doi:10.2307/2273943
JSTOR: links.jstor.org
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
Zentralblatt MATH:
0801.03026
Digital Object Identifier: doi:10.2307/2275260
JSTOR: links.jstor.org
A. Pillay and C. Steinhorn, Definable sets in ordered structures I, Bulletin of the American Mathematical Society (N.S.), vol. 11 (1984), no. 1, pp. 159--162.
Mathematical Reviews (MathSciNet):
MR741730
Digital Object Identifier: doi:10.1090/S0273-0979-1984-15249-2
Project Euclid: euclid.bams/1183551840
B. Poizat, Cours de théorie des modèles, Nur al-Mantiq wal-Ma'rifah, Villeurbanne, 1985.
Mathematical Reviews (MathSciNet):
MR817208
S. Shelah, Classification theory and the number of non-isomorphic models, Studies in logic and the foundations of mathematics, North-Holland, Amsterdam, 1978.
Mathematical Reviews (MathSciNet):
MR513226
--------, Dependent first order theories, continued, SH783.
J. R. Shoenfield, Mathematical logic, Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont., 1967.
Mathematical Reviews (MathSciNet):
MR225631
M. Tressl, Model completeness of o-minimal structures expanded by Dedekind cuts, Journal of Symbolic Logic, vol. 70 (2005), no. 1, pp. 29--60.
Mathematical Reviews (MathSciNet):
MR2119122
Zentralblatt MATH:
1097.03032
Digital Object Identifier: doi:10.2178/jsl/1107298509
Project Euclid: euclid.jsl/1107298509
--------, The elementary theory of dedekind cuts in polynomially bounded structures, Annals of Pure and Applied Logic, vol. 135 (2005), no. 1--3, pp. 113--134.
Mathematical Reviews (MathSciNet):
MR2156134
Zentralblatt MATH:
1089.03032
Digital Object Identifier: doi:10.1016/j.apal.2004.12.003
--------, Pseudo completions and completions in stages of o-minimal structures, Archive for Mathematical Logic, vol. 45 (2006), no. 8, pp. 983--1009.
Mathematical Reviews (MathSciNet):
MR2271334
Zentralblatt MATH:
1116.03033
Digital Object Identifier: doi:10.1007/s00153-006-0022-2
--------, Valuation theoretic content of the Marker--Steinhorn Theorem, Journal of Symbolic Logic, vol. 69 (2004), no. 1, pp. 91--93.
Mathematical Reviews (MathSciNet):
MR2039348
Zentralblatt MATH:
1080.03025
Digital Object Identifier: doi:10.2178/jsl/1080938828
Project Euclid: euclid.jsl/1080938828
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
Digital Object Identifier: doi:10.2307/2275510
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, vol. 81 (2000), no. 3, pp. 513--565.
Mathematical Reviews (MathSciNet):
MR1781147
Zentralblatt MATH:
1062.03029
Digital Object Identifier: doi:10.1112/S0024611500012648
R. Wencel, Topological properties of sets definable in weakly o-minimal structures, preprint, 2005.
--------, Weakly o-minimal non-valuational structures, Annals of Pure and Applied Logic, vol. 154 (2008), no. 3, pp. 139--162.
Mathematical Reviews (MathSciNet):
MR2428068
Zentralblatt MATH:
1146.03027
Digital Object Identifier: doi:10.1016/j.apal.2008.01.009
