A primer of simple theories

Archive for Mathematical Logic

Volumn 41, Issue 6, 2002, Pages 541-580

  Grossberg, Rami ^a   Iovino, José ^b   Lessmann, Olivier ^c  

^a CARNEGIE MELLON UNIVERSITY   (United States)

^b UNIVERSITY OF TEXAS AT SAN ANTONIO   (United States)

^c UNIVERSITY OF ILLINOIS AT CHICAGO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0035982257     PISSN: 09335846     EISSN: None     Source Type: Journal    
DOI: 10.1007/s001530100126     Document Type: Article

References (48)

1. [Ba] Baldwin, J.T.: Fundamentals of Stability Theory. Berlin: Springer-Verlag, 1988
2. [BaLa] Baldwin, J.T., Lachlan, A.H.: On strongly minimal sets. J. Symbolic Logic, 36, 79-96 (1971)
3. ∞,ω, Israel J. of Mathematics, 10, 306-320 (1971)
4. [Bu1] Buechler, S.: Lascar strong types in some simple theories, Journal of Symbolic Logic, 64(2), 817-824 (1999)
5. [Bu2] Buechler, S.: Canonical bases in some supersimple theories, preprint (1998)
6. [BuLe] Buechler, S., Lessmann, O.: Simplicity inside a Homogeneous Model. to appear J. of AMS
7. [BPW] Buechler, S., Pillay, A., Wagner, F.F.: Supersimple theories. J. Amer. Math. Soc., 14(1), 109-124 (2001)
8. [Ca] Casanovas, E.: The number of types in simple theories. Ann. Pure Appl. Logic, 98(1-3), 69-86 (1999)
9. [CK] Chang, C.C., Keisler, H.J.: Model Theory. Amsterdam: North-Holland Publishing Co., (1990)
10. [CH] Zoe Chatzidakis and Ehud Hrushovski. Algebraically closed fields with an automorphism. Trans. of AMS
11. [Gr] Grossberg, R.: A course in model theory. Book in preparation
12. [GrSh] Grossberg, R., Shelah, S.: Semisimple theories, in preparation
13. [Ha] Harnik, V.: On the existence of saturated models of stable theories. Proc of AMS, 52, 361-367 (1975)
14. [HH] Harnik, V., Harrington, V.: Fundamentals of forking. Ann. Pure Appl. Logic, 26, 245-286 (1984)
15. [Ho] Hodges, W.: Model theory. Cambridge University Press, 772 pages, (1993)
16. [Hr] Hrushovski, E.: Pseudofinite fields and related structures. Manuscript.
17. [Hr 1] Hrushovski, E.: Simplicity and the Lascar group. (Preprint)
18. [HP1] Hrushovski, E., Pillay, A.: Groups definable in local fields and pseudo-finite fields, Israel J. of Mathematics, 85, 203-262 (1994)
19. [HP2] Hrushovski, E., Pillay, A.: Definable groups of algebraic groups over finite fields. Crelle's Journal, 462, 69-91 (1995)
20. [Je] Jech, T.: Set Theory. New York: Academic Press, 1978
21. [Ki] Kim, B.: Forking in simple unstable theories. J. London Math. Soc. (2) 57(2), 257-267 (1998)
22. [KP1] Kim, B., Pillay, A.: Simple theories Annals of Pure and Applied Logic, 88, 149-164 (1997)
23. [KP2] Kim, B., Pillay, A.: From stability to simplicity. Bull. Symbolic Logic 4(1), 17-36 (1998)
24. [La1] Lascar, D.: Types définissables et produit de types. C. R. Acad. Sci. Paris Sir. A-B, 272, A1233-A1236 (1971)
25. [La2] Lascar, D.: Ranks and definability in superstable theories. Israel J. Math., 23, 53-87 (1976)
26. [La2] Lascar, D.: Stability in Model Theory. New York: John Wiley & Sons, Inc., 1987
27. [LaPi] Lascar, D., Pillay, A.: Forking and fundamental order in simple theories. J. Symbolic Logic, 64(3), 1155-1158 (1999)
28. [LaPo] Lascar, D., Poizat, B.: An introduction to forking. J. Symbolic Logic, 44, 330-350 (1979)
29. [Le] Lessmann, O.: Counting partial types in simple theories. Colloq. Math., 83(2), 201-208 (2000)
30. [Lo] Łǒs, J.: On the categoricity in power of elementary deductive systems and related problems. Colloq. Math., 3, 58-62 (1954)
31. [Ma] Makkai, M.: A survey of basic stability theory, with particular emphasis on orthogonality and regular types. Israel J. Math., 49, 181-238 (1984)
32. 1-categorical and not ω-categorical theories. PhD thesis, Dartmouth College, 1966
33. [Mo] Morley, M.: Categoricity in power. Trans. Amer. Math. Soc., 114, 514-538 (1965)
34. [Pi] Pillay, A.: An Introduction to Stability Theory. Clarendon Press, New York: Oxford University Press, 1983
35. [Po] Poizat, B.: Suites d'indiscernables dans les theories stables. Technical report, Univ. Paris: Pierre et Marie Curie, 1978
36. [Re] Ressayer, J.P.: Sur les théories du premier ordere catégorique en un cardinal. Trans. of A.M.S., 142, 481-505 (1969)
37. [Ro] Rowbottom, F.: The Łǒs conjecture for uncountable theories. Notices of A.M.S., 11, 248, (1964)
38. [Sa] Sacks, G.: Saturated Model Theory. W. A. Benjamin, Inc., Reading, (1972)
39. [S] Shami, Z.: A natural finite equivalence relation definable in low theories, Journal of Symbolic Logic, 65(4), 1481-1490 (2000)
40. [Sh3] Shelah, S.: Finite diagrams stable in power. Ann. Math. Logic, 2, 69-118 (1970/1971)
41. [Sh31] Shelah, S.: Categoricity of uncountable theories. In L.A. Henkin et al., editors, Proceedings of the Tarski Symposium, pages 187-203, Providence, R.I, (1974)
42. [Sha] Shelah, S.: Classification Theory and the Number of Nonisomorphic Models. Amsterdam: North-Holland Publishing Co., 1978
43. [Sh 80] Shelah, S.: A weak generalization of MA to higher cardinals. Israel Journal of Mathematics, 30, 297-306 (1978)
44. [Sh93] Shelah, S.: Simple unstable theories. Ann. Math. Logic, 19, 177-203 (1980)
45. [Sh 126] Shelah, S.: On saturation for a predicate. Notre Dame Journal of Formal Logic, 22, 239-248 (1981)
46. [Sh 500] Shelah, S.: Toward classifying unstable theories. Annals of Pure and Applied Logic, 80, 229-255 (1995)
47. [Sh 702] Shelah, S.: On what I do not understand (and have something to say), model theory. Math. Japon., 51(2), 329-377 (2000)
48. [Wa] Wagner, F.O.: Simple Theories, Kluwer Academic Publishers, 260 pages, (2000)