A trichotomy theorem for o-minimal structures

Proceedings of the London Mathematical Society

Volumn 77, Issue 3, 1998, Pages 481-523

  Peterzil, Ya'acov ^a   Starchenko, Sergei ^b  

^a UNIVERSITY OF HAIFA   (Israel)

^b UNIVERSITY OF NOTRE DAME   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0007198286     PISSN: 00246115     EISSN: None     Source Type: Journal    
DOI: 10.1112/S0024611598000549     Document Type: Article

References (23)

1. C. C. CHANG and J. H. KEISLER, Model theory, 3rd edn (North Holland, Amsterdam, 1990).
2. L. VAN DEN DRIES, Tame topology and o-minimal structures, London Mathematical Society Lecture Note Series 248 (Cambridge University Press, 1998).
3. E. HRUSHOVSKI, 'Strongly minimal expansions of algebraically closed fields', Israel J. Math. 79 (1992) 129-151.
4. E. HRUSHOVSKI, 'A new strongly minimal set', Ann. Pure Appl. Logic 62 (1993) 147-166.
5. E. HRUSHOVSKI and A. PILLAY, 'Weakly normal groups', Logic colloquium '85 (eds The Paris Logic Group, North Holland, Amsterdam, 1987), pp. 233-244.
6. E. HRUSHOVSKI and A. PILLAY, 'Groups definable in local fields and pseudo-finite fields', Israel J. Math. 85 (1994) 203-262.
7. E. HRUSHOVSKI and B. ZIL'BER, 'Zariski geometries', J. Amer. Math. Soc. 9 (1996) 1-56.
8. J. KNIGHT, A. PILLAY and C. STEINHORN, 'Definable sets in ordered structures II', Trans. Amer. Math. Soc. 295 (1986) 593-605.
9. J. LOVEYS and Y. PETERZIL, 'Linear o-minimal structures', Israel J. Math. 81 (1993) 1-30.
10. A. MEKLER, M. RUBIN and C. STEINHORN, 'Dedekind completeness and the algebraic complexity of o-minimal structures', Canadian J. Math. 44 (1992) 843-855.
11. C. MILLER, 'A growth dichotomy for o-minimal expansions of ordered field', Logic, from foundations to applications (Staffordshire 1993) (eds W. Hodges, J. Hyland, C. Steinhorn and J. Truss, Oxford University Press, New York, 1996), pp. 385-399.
12. M. OTERO, Y. PETERZIL and A. PILLAY, 'Groups and rings definable in o-minimal expansions of real closed fields', Bull. London Math. Soc. 28 (1996) 7-14.
13. A. PILLAY, P. SCOWCROFT and C. STEINHORN, 'Between groups and rings', Rocky Mountain J. Math. 295 (1989) 871-885.
14. Y. PETERZIL, 'A structure theorem for semibounded sets in the reals', J. Symbolic Logic 57 (1992) 779-794.
15. Y. PETERZIL, 'Zil'ber's conjecture for some o-minimal structures over the reals', Ann. Pure Appl. Logic 61 (1993) 223-239.
16. Y. PETERZIL, 'Constructing a group-interval in o-minimal structures', J. Pure Appl. Algebra 94 (1994) 85-100.
17. Y. PETERZIL and S. STARCHENKO, 'Geometry, calculus and Zil'ber's conjecture', Bull. Symbolic Logic 2 (1996) 72-83.
18. A. PILLAY, 'On groups and fields definable in o-minimal structures', J. Pure Appl. Algebra 53 (1988) 239-255.
19. A. PILLAY and C. STEINHORN, 'Definable sets in ordered structures I', Trans. Amer. Math Soc. 295 (1986) 565-592.
20. A. PILLAY and C. STEINHORN, 'Discrete o-minimal structures', Ann. Pure Appl. Logic 34 (1987) 275-290.
21. A. PILLAY and C. STEINHORN, 'Definable sets in ordered structures III', Trans. Amer. Math. Soc. 309 (1988) 469-476.
22. A. J. WILKIE, 'Model completeness results for expansions of the ordered real field numbers by restricted Pfaffian functions and the exponential function', J. Amer. Math. Soc. 9 (1996) 1051-1094.
23. 1-categorical theories', Logic methodology and philosophy of science VII (eds R. Barcon Marcus et al., North Holland, Amsterdam, 1986), pp. 115-128.