From stability to simplicity

Bulletin of Symbolic Logic

Volumn 4, Issue 1, 1998, Pages 17-36

  Kim, Byunghan ^a,b   Pillay, Anand ^a  

^a MATHEMATICAL SCIENCES RESEARCH INSTITUTE   (United States)

^b UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0032398642     PISSN: 10798986     EISSN: None     Source Type: Journal    
DOI: 10.2307/421004     Document Type: Article

References (34)

1. J. Ax, The elementary theory of finite fields, Annals of Mathematics, vol. 88 (1968), pp. 239-271.
2. S. BUECHLER, Lascar strong types in simple theories, preprint, 1997.
3. E. CASANOVAS, The number of types in simple theories, preprint, 1997.
4. Z. CHATZIDAKIS and E. HRUSHOVSKI, Model theory of difference fields, preprint, 1996.
5. Z. CHATZIDAKIS and A. PILLAY, Generic structures and simple theories, Annals of Pure and Applied Logic (to appear).
6. Z. CHATZIDAKIS, L. VAN DEN DRIES, and A. J. MACINTYRE, Definable sets over finite fields, Journal für die Reine und Angewandte Mathematik, vol. 427 (1992), pp. 107-135.
7. G. CHERLIN, Large finite structures with few types, Proceedings of 1996 NATO ASI meeting at Fields Institute, to appear.
8. G. CHERLIN, L. HARRINGTON, and A. H. LACHLAN, ω-categorical, ω-stable structures, Annals of Pure and Applied Logic, vol. 28 (1985), pp. 103-135.
9. J.-L. DURET, Les corps faiblement algébriquement clos non séparablement clos ont la propriété d'indépendance, Model theory of algebra and arithmetic, Lecture Notes in Mathematics, no. 834, Springer-Verlag, Berlin, 1980, pp. 136-162.
10. B. HART, B. KIM, and A. PILLAY, Coordinatization and canonical bases in simple theories, in preparation.
11. E. HRUSHOVSKI, Pseudofinite fields and related structures, preprint, 1992.
12. _, Finite structures with few types, Finite and infinite combinatorics in sets and logic, NATO ASI Series C: Mathematics and Physical Sciences, no. 411, Kluwer, Dordrecht, 1993, pp. 175-187.
13. _, The Manin-Mumford conjecture and difference fields, preprint, 1996.
14. E. HRUSHOVSKI and A. PILLAY, Groups definable in local fields and pseudo-finite fields, Israel Journal of Mathematics, vol. 85 (1994), pp. 203-262.
15. _, Definable subgroups of algebraic groups over finite fields, Journal für die Reine und Angewandte Mathematik, vol. 462 (1995), pp. 69-91.
16. W. M. KANTOR, M. W. LIEBECK, and H. D. MACPHERSON, ω-categorical structures smoothly approximated by finite structures, Proceedings of the London Mathematical Society, vol. 59 (1989), no. 3, pp. 439-463.
17. B. KIM, Simple first order theories, Ph.D. thesis, University of Notre Dame, 1996.
18. _, Forking in simple unstable theories, Journal of the London Mathematical Society (to appear).
19. _, A note on Lascar strong types in simple theories, The Journal of Symbolic Logic (to appear).
20. _, On the number of countable models of a countable supersimple theory, Journal of the London Mathematical Society (to appear).
21. B. KIM and A. PILLAY, Simple theories, Annals of Pure and Applied Logic (to appear).
22. A. H. LACHLAN, On the number of countable models of a countable superstable theory, Logic, methodology, philosophy of science, vol. IV, North-Holland, Amsterdam, 1973, pp. 45-56.
23. D. LASCAR, On the category of models of a complete theory, The Journal of Symbolic Logic, vol. 82 (1982), pp. 249-266.
24. _, Recovering the action of an automorphism group, Logic: from foundations to applications (W. Hodges, M. Hyland, C. Steinhorn, and J. Truss, editors), Oxford University Press, 1996, European Logic Colloquium, Keele, 1993, pp. 313-326.
25. D. LASCAR and A. PILLAY, Hyperimaginaries and automorphism groups, in preparation.
26. D. LASCAR and B. POIZAT, An introduction to forking, The Journal of Symbolic Logic, vol. 44 (1979), pp. 330-350.
27. A. PILLAY, An introduction to stability theory, Oxford University Press, Oxford, 1983.
28. _, Definability and definable groups in simple theories, The Journal of Symbolic Logic (to appear).
29. A. PILLAY and B. POIZAT, Pas d'imaginaires dans l'infini!, The Journal of Symbolic Logic, vol. 52 (1987), pp. 400-403.
30. _, Corps et chirurgie, The Journal of Symbolic Logic, vol. 60 (1995), pp. 528-533.
31. B. POIZAT, Groupes stables, Nur Al-Mantiq Wal-Ma'rifah, Villeurbanne, 1987.
32. S. SHELAH, Simple unstable theories, Annals of Mathematical Logic, vol. 19 (1980), pp. 177-203.
33. _, Classification theory and the number of non-isomorphic models, 2nd ed., North-Holland, Amsterdam, 1990.
34. F. O. WAGNER, Groups in simple theories, preprint, 1997.