Definability in low simple theories

Journal of Symbolic Logic

Volumn 65, Issue 4, 2000, Pages 1481-1490

  Shami, Ziv ^a  

^a MCMASTER UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0034561866     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2695059     Document Type: Article

References (13)

1. S. BUECHLER, Lascar strong types in some simple theories, this JOURNAL, to appear.
2. C. C. CHANG and H. J. KEISLER, Model Theory, North Holland, 1977.
3. Z. CHAZIDAKIS, L. VAN DEN DRIES, and A.J. MACINTYRE, Definable sets over finite fields, Journal fur die Reine und Angewandte Mathematik, vol. 427 (1992), pp. 107-135.
4. Z. CHAZIDAKIS and E. HRUSHOVSKI, Model theory of difference fields, 1996, preprint.
5. G. CHERLIN and E. HRUSHOVSKI, Lie coordinatized structures, in preparation.
6. E. HRUSHOVSKI and A. PILLAY, Groups definable in local fields and pseudo-finite fields, Israel Journal of Mathematics, vol. 85 (1994), pp. 203-262.
7. _, Definable subgroups of algebraic groups over finite fields, Journal fur die Reine und Angewandte Mathematik, vol. 462 (1995), pp. 69-91.
8. B. KIM, Forking in simple unstable theories, Journal of the London Mathematical Society, (to appear).
9. _, A note on Lascar strong types in simple theories, 1997, preprint.
10. B. KIM and A. PILLAY, Simple theories, Annals of Pure and Applied Logic, (1997).
11. D. LASCAR, On the categoricity of models of a complete theory, this JOURNAL, vol. 47 (1982), pp. 249-403.
12. S. SHELAH, Simple Unstable Theories, Annals of Mathematical Logic, vol. 19 (1980), pp. 177-203.
13. _, Classification theory, North Holland, Amsterdam, 1990, revised.