Open Access
2007 A Note on Weakly O-Minimal Structures and Definable Completeness
Alfred Dolich
Notre Dame J. Formal Logic 48(2): 281-292 (2007). DOI: 10.1305/ndjfl/1179323268
Abstract

We consider the extent to which certain properties of definably complete structures may persist in structures which are not definably complete, particularly in the weakly o-minimal structures.

References

1.

[1] Baisalov, Y., and B. Poizat, "Paires de structures o-minimales", The Journal of Symbolic Logic, vol. 63 (1998), pp. 570--78.  MR1627306 0910.03025 10.2307/2586850 euclid.jsl/1183745520 [1] Baisalov, Y., and B. Poizat, "Paires de structures o-minimales", The Journal of Symbolic Logic, vol. 63 (1998), pp. 570--78.  MR1627306 0910.03025 10.2307/2586850 euclid.jsl/1183745520

2.

[2] Chatzidakis, Z., and A. Pillay, "Generic structures and simple theories", Annals of Pure and Applied Logic, vol. 95 (1998), pp. 71--92.  MR1650667 0929.03043 10.1016/S0168-0072(98)00021-9[2] Chatzidakis, Z., and A. Pillay, "Generic structures and simple theories", Annals of Pure and Applied Logic, vol. 95 (1998), pp. 71--92.  MR1650667 0929.03043 10.1016/S0168-0072(98)00021-9

3.

[3] Cherlin, G., and M. A. Dickmann, "Real closed rings. II". Model theory, Annals of Pure and Applied Logic, vol. 25 (1983), pp. 213--31.  MR730855 0538.03028 10.1016/0168-0072(83)90019-2[3] Cherlin, G., and M. A. Dickmann, "Real closed rings. II". Model theory, Annals of Pure and Applied Logic, vol. 25 (1983), pp. 213--31.  MR730855 0538.03028 10.1016/0168-0072(83)90019-2

4.

[4] Dolich, A., C. Miller, and C. Steinhorn, "O-minimal open cores", in preparation.[4] Dolich, A., C. Miller, and C. Steinhorn, "O-minimal open cores", in preparation.

5.

[5] Dougherty, R., and C. Miller, "Definable Boolean combinations of open sets are Boolean combinations of open definable sets", Illinois Journal of Mathematics, vol. 45 (2001), pp. 1347--50.  MR1895461 0991.54006[5] Dougherty, R., and C. Miller, "Definable Boolean combinations of open sets are Boolean combinations of open definable sets", Illinois Journal of Mathematics, vol. 45 (2001), pp. 1347--50.  MR1895461 0991.54006

6.

[6] van den Dries, L., "$T$"-convexity and tame extensions. II", The Journal of Symbolic Logic, vol. 62 (1997), pp. 14--34.  MR1450511 0922.03055 10.2307/2275729 euclid.jsl/1183745182 [6] van den Dries, L., "$T$"-convexity and tame extensions. II", The Journal of Symbolic Logic, vol. 62 (1997), pp. 14--34.  MR1450511 0922.03055 10.2307/2275729 euclid.jsl/1183745182

7.

[7] van den Dries, L., and A. H. Lewenberg, "$T$"-convexity and tame extensions", The Journal of Symbolic Logic, vol. 60 (1995), pp. 74--102.  MR1324502 0856.03028 10.2307/2275510 euclid.jsl/1183744679 [7] van den Dries, L., and A. H. Lewenberg, "$T$"-convexity and tame extensions", The Journal of Symbolic Logic, vol. 60 (1995), pp. 74--102.  MR1324502 0856.03028 10.2307/2275510 euclid.jsl/1183744679

8.

[8] Macpherson, D., D. Marker, and C. Steinhorn, "Weakly o-minimal structures and real closed fields", Transactions of the American Mathematical Society, vol. 352 (2000), pp. 5435--83 (electronic).  MR1781273 0982.03021 10.1090/S0002-9947-00-02633-7 0002-9947%28200012%29352%3A12%3C5435%3AWSARCF%3E2.0.CO%3B2-1[8] Macpherson, D., D. Marker, and C. Steinhorn, "Weakly o-minimal structures and real closed fields", Transactions of the American Mathematical Society, vol. 352 (2000), pp. 5435--83 (electronic).  MR1781273 0982.03021 10.1090/S0002-9947-00-02633-7 0002-9947%28200012%29352%3A12%3C5435%3AWSARCF%3E2.0.CO%3B2-1

9.

[9] Marker, D., "Omitting types in $\mathcalO$"-minimal theories, The Journal of Symbolic Logic, vol. 51 (1986), pp. 63--74.  MR830073 0596.03031 10.2307/2273943 euclid.jsl/1183742027 [9] Marker, D., "Omitting types in $\mathcalO$"-minimal theories, The Journal of Symbolic Logic, vol. 51 (1986), pp. 63--74.  MR830073 0596.03031 10.2307/2273943 euclid.jsl/1183742027

10.

[10] Mellor, T., "Imaginaries in real closed valued fields I", preprint available at http://www.uni-regensburg.de/Fakultaeten/nat_Fak_I/RAAG/preprints/0% 074.html. MR2206257 10.1016/j.apal.2005.05.014 1089.03029[10] Mellor, T., "Imaginaries in real closed valued fields I", preprint available at http://www.uni-regensburg.de/Fakultaeten/nat_Fak_I/RAAG/preprints/0% 074.html. MR2206257 10.1016/j.apal.2005.05.014 1089.03029

11.

[11] Miller, C., "Expansions of dense linear orders with the intermediate value property", The Journal of Symbolic Logic, vol. 66 (2001), pp. 1783--90.  MR1877021 1001.03039 10.2307/2694974 euclid.jsl/1183746624 [11] Miller, C., "Expansions of dense linear orders with the intermediate value property", The Journal of Symbolic Logic, vol. 66 (2001), pp. 1783--90.  MR1877021 1001.03039 10.2307/2694974 euclid.jsl/1183746624

12.

[12] Miller, C., and P. Speissegger, "Expansions of the real line by open sets: O-minimality and open cores", Fundamenta Mathematicae, vol. 162 (1999), pp. 193--208.  MR1736360 0946.03045[12] Miller, C., and P. Speissegger, "Expansions of the real line by open sets: O-minimality and open cores", Fundamenta Mathematicae, vol. 162 (1999), pp. 193--208.  MR1736360 0946.03045

13.

[13] Onshuus, A., "th-forking, algebraic independence and examples of rosy theories", preprint available at http://arxiv.org/abs/math.LO/030% 6003.[13] Onshuus, A., "th-forking, algebraic independence and examples of rosy theories", preprint available at http://arxiv.org/abs/math.LO/030% 6003.

14.

[14] Pillay, A., An Introduction to Stability Theory, vol. 8 of Oxford Logic Guides, The Clarendon Press, New York, 1983.  MR719195 0526.03014[14] Pillay, A., An Introduction to Stability Theory, vol. 8 of Oxford Logic Guides, The Clarendon Press, New York, 1983.  MR719195 0526.03014
Copyright © 2007 University of Notre Dame
Alfred Dolich "A Note on Weakly O-Minimal Structures and Definable Completeness," Notre Dame Journal of Formal Logic 48(2), 281-292, (2007). https://doi.org/10.1305/ndjfl/1179323268
Published: 2007
Vol.48 • No. 2 • 2007
Back to Top