Abakumov, A.L, Palyutin, E.A., Taitslin, M.A. and Shishmarev, Yu. E. 1972 Categorical Quasivarieties. Algebra and Logic , vol. 11 (1972), pp. 1–21. Russian original: pp.3–38.Google Scholar

Adamson, I.T. 1982 Introduction to field theory. (2nd edition). Cambridge Press, 1982. 181 pp. At: 166

Ahlbrandt, G. 1984 Totally categorical theories of modular type. University of Illinois at Chicago, 1984. 108 pp. Dissertation. At: 144

Ahlbrandt, G. 198? Almost strongly minimal totally categorical theories. In: Proceedings of Logic Colloquium 85 , Paris. North Holland. Preprint.

Ahlbrandt, G. and Baldwin J.T. 198? Categoricity and generalized model completeness. Preprint. 11pp.

Ahlbrandt, G. and Ziegler, M. 1986 Quasi-finitely axiomatizable totally categorical theories. Annals of Pure and Applied Logic , vol. 30 (1986), pp. 63–83. At: 184 Google Scholar

Andler, D. 1975 Semi-minimal theories and categoricity. The Journal of Symbolic Logic , vol. 40 (1975), pp. 419–438.Google Scholar

Ash, C.J. and Nerode, A. 1981 Functorial properties of algebraic closure and Skolemization. Journal of the Australian Mathematical Society , vol. 31 (1981), pp. 136–141.Google Scholar

Ash, C.J. and Rosenthal, J. 1986 Intersections of algebraically closed fields. Annals of Pure and Applied Logic , vol. 30 (1986), pp. 103–121.Google Scholar

Baizhanov, B.S. 1980 Questions on the spectra of totally transcendental theories of finite rank (Russian). In: Theory of Models and its Applications , ed. by Baizanov, B. Kazakhskii Gosudarstvennyi Universitet, 1980. pp. 25–44.

Baizhanov, B.S. 1980a Some properties of totally transcendental theories (Russian). In: Theory of Models and its Applications , ed. by Baizanov, B. Kazakhskii Gosudarstvennyi Universitet, 1980. pp. 14–24.

Baizhanov, B.S. and Omarov, B. 1979 On finite diagrams. In: Teorija Nereguljarnyh Krivyh v Razlichnyh Geometri , ed. by Taiclin, M.A. Kazakhskii Gosudarstvennyi Universitet, 1979. pp. 11–15.

Baizhanov, B.S. and Omarov, B. 1979 Restriction of a theory to a formula. In: Teorija Nereguljarnyh Krivyh v Razlichnyh Geometri , ed. by Taiclin, M.A. Kazakhskii Gosudarstvennyi Universitet, 1979. pp. 9–11.

Baldwin, J.T. 1971 Countable theories categorical in uncountable power. Simon Fraser University, 1971. 81pp. Dissertation. At: 62

Baldwin, J.T. 1972 Almost strongly minimal theories. The Journal of Symbolic Logic , vol. 37 (1972), pp. 487–493. At: 182 Google Scholar

Baldwin, J.T. 1972a Almost strongly minimal theories II. The Journal of Symbolic Logic , vol. 37 (1972), pp. 657–660.Google Scholar

Baldwin, J.T. 1973 αT is finite for ℵ 1 -categorical T. Transactions of the American Mathematical Society , vol. 181 (1973), pp. 37–51. At: 163 Google Scholar

Baldwin, J.T. 1973a The number of automorphisms of models of ℵ1 -categorical theories. Fundamenta Mathematicae , vol. 83 (1973), pp. 1–6.Google Scholar

Baldwin, J.T. 1974 Atomic compactness in ℵ1 -categorical Horn theories. Fundamenta Mathematicae , vol. 83 (1974), pp. 263–268.Google Scholar

Baldwin, J.T. 1975 Conservative extensions and the two cardinal theorems for stable theories. Fundamenta Mathematicae , vol. 88 (1975), pp. 7–9. At: 62, 212 Google Scholar

Baldwin, J.T. 1979 Stability theory and algebra. The Journal of Symbolic Logic , vol. 44 (1979), pp. 599–608.Google Scholar

Baldwin, J.T. 1981 Definability and the hierarchy of stable theories. In: Logic Year 1979–80 The University of Connecticut , ed. by Lerman, M., Schmerl, J.H. and Soare, R.I. Springer-Verlag , 1981. pp. 1–15. At: 112

Baldwin, J.T. 1984 First order theories of abstract dependence relations. Annals of Pure and Applied Logic , vol. 26 (1984), pp. 215–243. At: 256, 267 Google Scholar

Baldwin, J.T. 1984a Strong saturation and the foundations of stability theory. In: Logic Colloquim ‘82 , ed. by Lolli, J. and Longo, G. & Marcja, A. North Holland , 1984. pp. 71–85. At: 71, 79, 240

Baldwin, J.T. 1985 Definable second order quantifiers. In: Model-Theoretic Logics , ed. by Barwise, J. and Feferman, S. Springer-Verlag, 1985. pp. 445–477.

Baldwin, J. 1986 Classification Theory: 1986. In: Classification Theory: Chicago, 1985 , ed. by Baldwin, J.T. Springer-Verlag, 1987. Preprint. At: 2

Baldwin, J.T. and Berman, J. 1981 Elementary classes of varieties. Houston Journal of Mathematics , vol. 7/4 (1981), pp. 473–492. At: 172 Google Scholar

Baldwin, J.T. and Berman, J. 1986 Concrete representations of lattices and the fundamental order. In: Classification Theory: Chicago, 1985 , ed. by Baldwin, J. Springer-Verlag, 1987. Preprint.

Baldwin, J.T. and Blass, A. 1974 An axiomatic approach to rank in model theory. Annals of Mathematical Logic , vol. 7 (1974), pp. 295–324. At: 45, 158 Google Scholar

Baldwin, J.T., Blass, A., Glass, A.M.W. and Kueker, D.W. 1973 A 'natural’ theory without prime model. Algebra Universalis , vol. 3 (1973), pp. 152–155.Google Scholar

Baldwin, J.T. and Harrington, L. 198? Trivial pursuit: Remarks on the main gap. Annals of Pure and Applied Logic Preprint. At: 880, 850, 864, S77 Google Scholar

Baldwin, J.T. and Kueker, D.W. 1980 Ramsey quantifiers and the finite cover property. Pacific Journal of Mathematics , vol. 90 (1980), pp. 11–19. At: 25 Google Scholar

Baldwin, J.T. and Kueker, D.W. 1981 Algebraically prime models. Annals of Mathematical Logic , vol. 20 (1981), pp.289–330. At: 192 Google Scholar

Baldwin, J.T. and Lachlan, A.H. 1971 On strongly minimal sets. The Journal of Symbolic Logic , vol. 36 (1971), pp. 79–96. At: 6, 15, 17, 24, 95, 271, 811 Google Scholar

Baldwin, J.T. and Lachlan, A.H. 1973 On universal Horn classes categorical in some infinite power. Algebra Universalis , vol. 3 (1973), pp.98–111. At: 94 Google Scholar

Baldwin, J.T. and McKenzie, R. 1982 Counting models in universal Horn classes. Algebra Universalis , vol. 15 (1982), pp. 359–384. At: 94 Google Scholar

Baldwin, J.T. and Rose, B.I. 1977 ℵ 0 -categoricity and stability of rings. Journal of Algebra , vol. 45 (1977), pp. 1–16. At: 98 Google Scholar

Baldwin, J.T. and Saxl, J. 1976 Logical stability in group theory. Journal of the Australian Mathematical Society , vol. 21 (1976), pp. 267–276. At: 95, 97 Google Scholar

Baldwin, J.T. and Shelah, S. 1983 The structure of saturated free algebras. Algebra Universalis , vol. 17 (1983), pp. 191–197.Google Scholar

Baldwin, J.T. and Shelah, S. 1985 Second order quantifiers and the complexity of theories. Notre Dame Journal of Formal Logic , vol. 26 (1985), pp. 229–302. At: 7, 130, 341 S50, 356, 364 Google Scholar

Baudisch, A. 1980 Application of the theory of Shirshov-Witt in the theory of groups and Lie algebras. Addendum. Prepr Akad Wiss DDR ZI Math Mech , vol. P-30/80 (1980), pp. 9.Google Scholar

Baudisch, A. 1982 Decidability and stability of free nilpotent Lie algebras and free nilpotent p-groups of finite exponent. Annals of Mathematical Logic (1982), pp. 1–25.Google Scholar

Baudisch, A. 1983 On Lascar rank in non-multidimensional theories UJ-stable theories. In: Proceedings of the Third Easter Conference on Model Theory. 1983.

Baudisch, A. 1984 Magidor-Malitz quantifiers in modules. The Journal of Symbolic Logic , vol. 40 (1984), pp. 1–8.Google Scholar

Baudisch, A. 1986 On elementary properties of free Lie algebras. Annals of Pure and Applied Logic , vol. 30 (1986), pp. 121–136.Google Scholar

Baudisch, A. 198? On preservation of dimensional order property and depth. In: Proceedings of Logic Colloquium 85, Paris. Preprint.

Baudisch, A. 198?a Lascar rank in non-multidimensional theories. Preprint.

Baudisch, A. 198?b Two hierarchies of dimension. Preprint.

Baudisch, A. and Rothmaler, P. 1984 The stratified order in modules. In: Proceedings of the 2nd. Frege Conference, Schwerin (GDR), 1984. Akademie-Verlag, Berlin, 1984.

Baur, W. 1976 Elimination of quantifiers for modules. Israel Journal of Mathematics , vol. 25 (1976), pp. 64–70. At: 30 Google Scholar

Baur, W., Cherlin, G.L. and Macintyre, A. 1979 Totally categorical groups and rings. Journal of Algebra , vol. 57 (1979), pp. 407–440. At: 97, 98, 168 Google Scholar

Bekenov, M.I. 1980 Theories with a basis. In: Theory of Models and its Ap plications , ed. by Baizanov, B. Kazakhskii Gosudarstvennyi Universitet, 1980. pp. 45–47.

Bekenov, M.I. and Herre, H. 1979 A remark concerning a generalized Morley-rank. Preprint, 1979. 13 pp.

Bekenov, M.I. and Mustafin, T.G. 1979 On rank functions, definable and indecomposable types in stable theories. Soviet Mathematics. Doklady. vol. 20 (1979), pp. 333–336.Google Scholar

Bekenov, M.I. and Mustafin, T.G. 1981 Properties of nonsplit types in stable theories. Sibirskij Matematicheskij Zhurnal Akademiya Nauk SSSR. Sibirskoe Otdelenie , vol. 22 (1981), pp. 27–34,228.Google Scholar

Belegradek, O.V. 1972 Categoricity in nondenumerable powers and Ni -homogeneous models. Algebra and Logic , vol. 11 (1972), pp. 71–73. Russian original: pp. 125–129, 237.Google Scholar

Belegradek, O.V. 1973 Almost categorical theories. Siberian Mathematical Journal , vol. 14 (1973), pp. 191–198.Google Scholar

Belegradek, O.V. 1974 Algebraically closed groups (Russian). Algebra i Logika , vol. 13 (1974), pp. 239–255,363.Google Scholar

Belegradek, O.V. 1978 On nonstable group theories (Russian). Izvestiya Vysshikh Uchebnykh Zavedenij. Matematika , vol. 8(195) (1978), pp. 41–44.Google Scholar

Beljaev, V.Ja. 1975 On theories with Ehrenfeuch vs property. Siberian Mathe matical Journal , vol. 16 (1975), pp. 141–143. Russian original: pp.175–177,198.Google Scholar

Benda, M. 1974 Remarks on countable models. Fundamenta Mathematicae , vol. 81 (1974), pp. 107–119.Google Scholar

Berline, C. 1981 Stabilité et algèbre I, II, III, IV. In: Théories Stables: 1978–9 , ed. by Poizat, B. Université Pierre et Marie Curie, Institut Henri Poincaré, 1981.

Berline, C. 1982 Groupes superstables. Université de Paris 7, 1982. 68pp. Thèse de Doctorat d'Etat.

Berline, C. 1983 Déviation des types dans les corps algébriquement clos. In: Théories Stables , ed. by Poizat, B. Université Pierre et Marie Curie, Institut Henri Poincaré, 1983. pp. 10. At: 89, 71, 169

Berline, C. 1986 Superstable groups; a partial answer to conjectures of Cherlin and Zil'ber. Annals of Pure and Applied Logic , vol. 30 (1986), pp. 45–63.Google Scholar

Berime, C. and Lascar, D. 1986 Groupes superstates. Annals of Pure and Applied Logic , vol. 30 (1986), pp. 1–45. At: 98, 162, 166, 168, 169 Google Scholar

Berthier, D. 1975 Stability of non-model-complete theories; products, groups. The Journal of the London Mathematical Society , vol. 11 (1975), pp. 453–464.Google Scholar

Birkhoff, G. 1949 Lattice Theory. American Mathematical Society, 1949. 283 pp. At: 275

Blum, L. 1968 Ph.D. Thesis. Massachusetts Institute of Technology, 1968. 45 pp. At: 229

Bouscaren, E. 1983 Countable models of multidimensional ℵ 0 -stable theories. Journal of Symbolic Logic , vol. 48 (1983), pp. 377–383. At: 290, 366, 891 Google Scholar

Bouscaren, E. 1984 Martin's Conjecture for ω-stable theories. Israel Journal of Mathematics , vol.49 (1984), pp. 15–26. At: 868, 877, 880, 388, 397 Google Scholar

Bouscaren, E. and Chatzidakis, Z. 1978 Modèles premiers et atomiques: théorème des deux cardinaux dans les théories totalement transcendantes. In: Groupe d'Etude de Théories Stables. 2ème Année: 1978/79 , ed. by Poizat, B. University Pierre et Marie Curie, Institut Henri Poincaré. 1978. pp. 11.

Bouscaren, E. and Lascar, D. 1983 Countable models of non-multidimensional theories. Journal of Symbolic Logic , vol. 48 (1983), pp. 197–205. At: 224, 225, 290, 291, 802, 311, 815, 866 Google Scholar

Bridge, J. 1977 Beginning Model Theory. The completeness theorem and some consequences. Oxford: The Clarendon Press, 1977. VII+143 pp. At: 15

Buechler, S. 1982 Expansions of models of ω-stable theories. Journal of Symbolic Logic , vol. 49/2 (1982), pp. 470–477.Google Scholar

Buechler, S. 1984 Geometry of weakly minimal types. Journal of Symbolic Logic , vol. 50 (1984), pp. 1044–1054. At: 183 Google Scholar

Buechler, S. 1984a Kueker's conjecture for superstable theories. Journal of Symbolic Logic , vol. 49/3 (1984), pp. 930–934. At: 252, 811 Google Scholar

Buechler, S. 1984b Recursive definability and resplendency in ω-stable theories. Israel Journal of Mathematics , vol. 49 (1984), pp. 26–34. At: 226 Google Scholar

Buechler, S. 1984c A note on normalization. 1984. Unpublished note. At: 180

Buechler, S. 1985 Coordinatization in superstable theories I: stationary types. Transactions of the American Mathematical Society , vol. 288 (1985), pp. 101–114.Google Scholar

Buechler, S. 1985a One theorem of Zil'ber's on strongly minimal sets. Journal of Symbolic Logic , vol. 50 (1985), pp. 1054–1062.Google Scholar

Buechler, S. 1985b Invariants for ω-categorical, ω-stable theories. Israel Journal of Mathematics , vol. 52 (1985), pp. 65–81. At: 183, 184, S98 Google Scholar

Buechler, S. 1986 Locally modular theories of finite rank. Annals of Pure and Applied Logic , vol. 30 (1986), pp. 83–95. At: 183, 827, 369 Google Scholar

Buechler, S. 1986a Maximal chains in the fundamental order. Journal of Symbolic Logic , vol. 51 (1986), pp. 323–326.Google Scholar

Buechler, S. 198? The fundamental order and relativized continuity of rank. Preprint.

Buechler, S. 198?a A theorem on stable unidimensional theories. Journal of Symbolic Logic Preprint. At: 298 Google Scholar

Buechler, S. 198?b The classification of small weakly minimal sets I. In: Classification Theory: Chicago, 1985 , ed. by Baldwin, J. Springer-Verlag, 1987. Preprint.

Buechler, S. 198?c The classification of small weakly minimal sets II. Preprint.

Chang, C.C. and Keisler, H.J. 1973 Model Theory. North-Holland. 1973. XII+550pp. At: 18, 15, 21, 22, 24, 55, 212

Chatzidakis, Z. 1981 Forking et rangs locaux selon Shelah. In: Groupe d'Etude de Théories Stables. 2ème Année: 1978/79 , ed. by Poizat, B. Université Pierre et Marie Curie, Institut Henri Poincaré. 1981. pp. 12.

Chatzidakis, Z. 1984 Model theory of profinite groups. Yale University, 1984. Dissertation.

Cherlin, G.L. 1983 Totally categorical structures. In: Proceedings of the International Congress of Mathematicians , Warsaw 1983. 1983. pp. 301–306.

Cherlin, G.L. 1976 Model Theoretic Algebra. Selected topics. Springer-Verlag, 1976. IV+234pp. LNM 521.

Cherlin, G.L. 1978 Superstable division rings. In: Logic Colloquium 77 , ed. by Macintyre, A., Pacholski, L. and Paris, J. North-Holland. 1978. pp. 99–111. At: 168

Cherlin, G.L. 1979 Groups of small Morley rank. Annals of Mathematical Logic , vol. 17 (1979), pp. 1–28. At: 98 Google Scholar

Cherlin, G.L. 1979a Stable algebraic theories. In: Logic Colloquium ’78 , ed. by Boffa, M., Dalen, D. van and Me Aloon, K. North-Holland. 1979. pp. 53–74.

Cherlin, G.L., Harrington, L. and Lachlan, A.H. 1985 ℵ 0 -categorical, ℵ 0 -stable structures. Annals of Pure and Applied Logic , vol. 2 (1985), pp. 103–135. At: 45, 156, 162, 163, 170, 181, 184, 295, 309, 327, 398 Google Scholar

Cherlin, G. and Lachlan, A.H. 1986 Stable finitely homogeneous structures. Transactions of American Mathematical Society , vol. 296 (1986), pp. 815–850. At: 184 Google Scholar

Cherlin, G.L. and Reineke, J. 1976 Categoricity and stability of commutative rings. Annals of Mathematical Logic , vol. 9 (1976), pp. 367–399. At: 97, 98 Google Scholar

Cherlin, G.L. and Rosenstein, J.G. 1978 On ℵ 0 -categorical abelian by finite groups. Journal of Algebra , vol. 53 (1978), pp. 188–226.Google Scholar

Cherlin, G.L. and Shelah, S. 1980 Superstable fields and groups. Annals of Mathematical Logic , vol. 18 (1980), pp. 227–270. At: 169 Google Scholar

Chikhachev, S.A. 1977 ℵ 1 -categorical commutative rings. Siberian Journal of Mathematics , vol. 18 (1977), pp. 644–649. Russian original: pp.908- 914.Google Scholar

Chudnovskii, G.V. 1970 Problems of the theory of models, related to categoricity. Algebra and Logic , vol. 9 (1970), pp. 50–74. German original: 80–120 (Algebra i Logika).Google Scholar

Cooper, G.R. 1980 On complexity of complete first order theories. Simon Fraser University, 1980. 117 pp. Dissertation.

Cooper, G.R. 1982 On complexity of complete first order theories. Zeitschrift für Mathematicsche Logik und Grundlagen der Mathematik , vol. 28 (1982), pp. 93–136.Google Scholar

Delon, F. 1978 Types localement isolés et théorème des deux cardinaux dans les theories stables dénombrables. In: Groupe d'Etude de Théories Stables. 2ème Année: 1978/79 , ed. by Poizat, B. Université Pierre et Marie Curie, Institut Henri Poincaré. 1978. pp. 10.

Delon, F. 1981 Types sur C((X)). In: Groupe d'Etude de Théories Stables. 2ème Année: 1978/79 , ed. by Poizat, B. Université Pierre et Marie Curie, Institut Henri Poincaré. 1981. pp. 29.

Delon, F. 1984 Espaces Ultramétriques . Journal of Symbolic Logic , vol. 49 (1984), pp. 405–424.Google Scholar

Delon, F. 198? Idéaux et sur les corps separablement clos. Preprint.

Dickmann, M.A. 1973 The problem of non-finite axiomatizability of ℵ 1 -categorical theories. In: Proceedings of the Bertrand Russell Memorial Logic Conference , ed. by Bell, J., Cole, J., Priest, G. and Slomson, A. 1973. pp. 141–216.

Duret, J.-L. 1977 Instabilité des corps formellement réels. Canadian Mathematical Bulletin , vol. 20 (1977), pp. 385–387.Google Scholar

Duret, J.-L. 1980 Les corps faiblement algebriquement clos non séparablement clos ont la propriété d'indépendance. In: Model Theory of Algebra and Arithmetic. Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic , ed. by Pacholski, L., Wierzejewski, J. and Wilkie, A.J. Springer-Verlag, 1980. pp. 136–162. LNM 834.

Duret, J.-L. 1980 Les corps pseudo-finis ont la propriéte d'indépendance. Acad. des Sciences de Paris. Comptes Rendus , vol. 290 (1980), pp. 981–983.Google Scholar

Ehrenfeucht, A. 1957 On theories categorical in power. Fundamenta Mathematicae , vol. 44 (1957), pp. 241–248.Google Scholar

Ehrenfeucht, A. and Mostowski, A.W. 1956 Models of axiomatic theories admitting automorphisms. Fundamenta Mathematicae , vol. 43 (1956), pp. 50–68. At: 24, 126 Google Scholar

Ehrsam, S. 1978 Exposé élémentaire de la théorie de la stabilité. In: Groupe d'Etude de Théories Stables. 2ème Année: 1978/79 , ed. by Poizat, B. Université Pierre et Marie Curie, Institut Henri Poincaré. 1978. pp. 30.

Ehrsam, S. 1978 L'ordre fondamental, le théorème de la borne, le théorème de la relation d’équivalence finie. In: Groupe d'Etude de Theories Stables. 2ème Année: 1978/79 , ed. by Poizat, B. Université Pierre et Marie Curie, Institut Henri Poincaré. 1978. pp. 16.

Ehrsam, S. 1978 Theories ω 1 -categoriques. In: Groupe d'Etude de Théories Stables. 2ème Année: 1978/79 , ed. by Poizat, B. Université Pierre et Marie Curie, Institut Henri Poincaré. 1978. pp. 6.

Eklof, P.C. and Fisher, E.R. 1972 The elementary theory of abelian groups. Annals of Mathematical Logic , vol. 4 (1972), pp. 115–171. At: 30 Google Scholar

Eklof, P.C. and Sabbagh, G. 1970/71Model completions and modules. Annals of Mathematical Logic , vol. 2 (1970/71), pp. 251–295. At: 30

Enderton, H.B. 1972 A mathematical introduction to logic. Academic Press, 1972. XIII+295 pp. At: 171

Engeler, E. 1959 A characterization of theories with isomorphic denumerable models. Notices of the American Mathematical Society , vol. 6 (1959), pp. 161. At: 24 Google Scholar

Erimbetov, M.M. 1974 Categoricity in power and nonbicardinality of a formula of finite rank. Algebra and Logic , vol. 13 (1974), pp. 283–286. Russian original: pp.493–500.Google Scholar

Erimbetov, M.M. 1975 Complete theories with 1-cardinal formulas (Russian). Algebra i Logika , vol. 14 (1975), pp. 245–257,368.Google Scholar

Erimbetov, M.M. 1981 A property of countable stable theories. Sibirskij Matematicheskij ZhurnalAkademiya Nauk SSSR. Sibirskoe Otdelenie , vol. 22 (1981), pp. 81–86,229.Google Scholar

Eršov, Ju.L. 1974 Theories of nonabelian varieties of groups. In: Proceedings of the Tarski Symposium , ed. by Henkin, L. & et.al. American Mathematical Society, 1974. At: 176

Feferman, S. and Vaught, R.L. 1959 The first order properties of products of algebraic systems. Fundamenta Mathematicae , vol. 47 (1959), pp. 57–103.Google Scholar

Feigner, U. 1975 ℵ1 -kategorische Theorien Nicht-kommutativer Ringe. Fundamenta Mathematicae , vol. 82 (1975), pp. 331–346. At: 98 Google Scholar

Feigner, U. 1975a On ℵ 0 -categorical extra-special p-groups. In: Six Days of Model Theory , ed. by Henrard, P. Paul Castella, Editions, 1975. pp. 175–196.

Feigner, U. 1977 Stability and ℵ 0 -categoricity of nonabelian groups. In: Logic Colloquium 76 , ed. by Gandy, R.O. and Hyland, J.M.E. North-Holland. 1977. pp. 301–324.

Feigner, U. 1977 ℵ 0 -categorical stable groups. Mathematische Zeitschrift , vol. 160 (1978), pp. 27–49.Google Scholar

Feigner, U. 1980 Kategorizität. Jahresbericht der Deutschen Mathematiker-Vereinigung , vol. 82 (1980), pp. 12–32.Google Scholar

Feigner, U. 1980a The model theory of FC-groups. In: Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic , ed. by Arruda, A.I., Chuaqui, R. and Costa da, N.C.A. North-Holland. 1980. pp. 163–190.

Forrest, W.K. 1979 Some basic results in the theory of u-stable theories. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik , vol. 25 (1979), pp. 513–520.Google Scholar

Forrest, W.K. 1983 The theory of affine constructible sets. Zeitschrift für Mathematicsche Logik und Grundlagen der Mathematik , vol. 29 (1983), pp. 97–135.Google Scholar

Fuhrken, G. 1966 Minimal- und Primmodelle. Archiv für Mathematische Logik und Grundlagenforschung , vol. 9 (1966), pp. 3–11.Google Scholar

Garavaglia, S. 1979 Direct product decomposition of theories of modules. The Journal of Symbolic Logic , vol. 44 (1979), pp. 77–88. At: 30: Google Scholar

Garavaglia, S. 1980 Decomposition of totally transcendental modules. The Journal of Symbolic Logic , vol. 45 (1980), pp. 155–164. At: 30. Google Scholar

Garavaglia, S. 1981 Forking in modules. Notre Dame Journal of Formal Logic , vol. 22 (1981), pp. 155–162.Google Scholar

Givant, S. 1978 Universal Horn classes categorical or free in power. Annals of Mathematical Logic , vol. 15 (1978), pp. 1–53. At: 45, 184 Google Scholar

Givant, S. 1979 A representation theorem for universal Horn classes categorical in power. Annals of Mathematical Logic , vol. 17 (1979), pp. 91–116. At: 45, 184 Google Scholar

Grätzer, G. 1979 Universal Algebra, Second Edition. Springer-Verlag, 1979. xviii+582 pp. At: 45

Grossberg, R. 198? A categoricity theorem for theories in L ω 1,ω which have the amalgamation property. Preprint.

Grossberg, R. and Shelah, S. 1983 On universal locally finite groups. Israel Journal of Mathematics , vol. 44 (1983), pp. 289–302.Google Scholar

Grossberg, R. and Shelah, S. 1986 On the number of nonisomorphic models of an infinitary theory which has the infinitary order property. Journal of Symbolic Logic , vol. 51 (1986).Google Scholar

Grossberg, R. and Shelah, S. 198? A nonstructure theorem for an infinitary theory which has the unsuperstability property Preprint. At: 31

Gross, W. 1977 Dimension and finite closure. Journal of the Australian Mathematical Society. Series A , vol. 23 (1977), pp. 421–430.Google Scholar

Gurevich, Y. and Schmitt, P.H. 1984 The theory of ordered abelian groups does not have the independence property. Transactions of the American Mathematical Society , vol. 284 (1984), pp. 171–182.Google Scholar

Harnik, V. 1971 Stable theories and related concepts (Hebrew). Hebrew University of Jerusalem, 1971. iv+61 pp. Dissertation.

Harnik, V. 1975 A two cardinal theorem for sets of formulas in a stable theory. Israel Journal of Mathematics , vol. 21 (1975), pp. 7–23. At: 212 Google Scholar

Harnik, V. 1975 On the existence of saturated models of stable theories. Proceedings of the American Mathematical Society , vol. 52 (1975), pp. 361–367. At: 91 Google Scholar

Harnik, V. 1985 Stability theory and set existence axioms. Journal of Symbolic Logic , vol. 50 (1985), pp. 123–137. At: 79 Google Scholar

Harnik, V. and Harrington, L. 1984 Fundamentals of forking. Annals of Pure and Applied Logic , vol. 26 (1984), pp. 245–286. At: 15, 62, 71, 79, 130, 158, 180 Google Scholar

Harnik, V. and Ressayre, J.-P. 1971 Prime extensions and categoricity in power. Israel Journal of Mathematics , vol. 10 (1971), pp. 172–185. At: 126 Google Scholar

Harrington, L. and Makkai, M. 1985 An exposition of Shelah's ‘Main Gap’ — counting uncountable models of ω-stable and super stable theories. Notre Dame Journal of Formal Logic , vol. 26 (1985), pp. 139–177. At: 30, 52, 233, 302, 317, 325, 331, 339, 346, 350, 351, 352, 356, 358, 364, 367, 397 Google Scholar

Hart, B. 1986 NOTOP revisited. In: Classification Theory: Chicago, 1985 , ed. by Baldwin, J. Springer-Verlag, 1987. Preprint. At: 347, 350

Herre, H. 1979 Transzendente Theorien. Preprint, 1979. 23pp.

Herre, H. 1980 Modelltheoretische Eigenschaften endlichvalenter Graphen. Z.für Mathematische Logik und Grundlagen der Mathematik , vol. 26 (1980), pp. 51–58.Google Scholar

Herre, H., Mekler, A.H. and Smith, K. 1983 Superstable Graphs. Fundamenta Mathematicae , vol. 118 (1983), pp. 75–79.Google Scholar

Herstein, I.N. 1968 Noncommutative rings. The Mathematical Association of America, 1968. 199 pp. At: 169

Hodges, W. 1981 Encoding orders and trees in binary relations. Mathematika. A Journal of Pure and Applied Mathematics , vol. 28 (1981), pp. 67–71. At: 79 Google Scholar

Hodges, W. 1983 On constructing many non-isomorphic algebras. In: Proceeding “25. Arbeitstagung über Allgemeine Algebra Darmstadt 1983. 1983. pp. 67–77. At: 31 Google Scholar

Hodges, W. 1985 Building Models by Games. London Mathematical Society, 1985. 311 pp.

Hodges, W. 198? Model Theory. Cambridge University Press. At: 15, 31, 216, 339

Hodges, W., Lachlan A.H and Shelah, S. 1977 Possible orderings of an indiscernible sequence. Bulletin of London Mathematical Society , vol. 9 (1977), pp. 212–215.Google Scholar

Hrushovski, E. 1986 Contributions to stable model theory. University of California, Berkeley, 1986. ii+108 pp. Dissertation. At: 25, 70, 98, 141, 153, 166, 261, 293, 311

Hrushovski, E. 198? Kueker's conjecture for stable theories. Preprint. At: 141, 311

Hrushovski, E. 198?a Countable unidimensional theories. Preprint. At: 311

Hrushovski, E. 198?b Finitely based stable theories. Preprint.

Hrushovski, E. 198?c Almost orthogonal types and definable groups. Preprint.

Hrushovski, E. 198?d Locally modular regular types. In: Classification Theory: Chicago, 1985 , ed. by Baldwin, J. Springer-Verlag, 1987. At: 98, 153

Hrushovski, E. 198?e Unidimensional theories are superstable. In preparation.

Hrushovski, E. and Pillay, A. 1986 Weakly normal groups. In: Proceedings of Logic Colloquium 85 , Paris. North Holland, 1986. Preprint. At: 184

Humphreys, J. 1975 Linear Algebraic Groups. Springer-Verlag, 1975. 247 pp.

Jacobson, N. 1985 Basic Algebra I (2nd edition). W.H. Freeman, 1985. 499 pp.

Jonsson, B. 1956 Universal relational systems. Mathematica Scandinavica , vol. 4 (1956), pp. 193–208.Google Scholar

Jonsson, B. 1960 Homogeneous universal relational systems. Mathematica Scandinavica , vol. 8 (1960), pp. 137–142.Google Scholar

Keisler, H.J. 1966 Some model theoretic results for ω-logic. Israel Journal of Mathematics , vol. 4 (1966), pp. 249–261.Google Scholar

Keisler, H.J. 1967 Ultraproducts which are not saturated. The Journal of Symbolic Logic , vol. 32 (1967), pp. 23–46. At: 25 Google Scholar

Keisler, H.J. 1971 On theories categorical in their own power. The Journal of Symbolic Logic , vol. 36 (1971), pp. 240–243.Google Scholar

Keisler, H.J. 1976 Six classes of theories. Journal of the Australian Mathematical Society , vol. 21 (1976), pp. 257–266. At: 89 Google Scholar

Keisler, H.J. 1978 The stability function of a theory. The Journal of Symbolic Logic , vol. 43 (1978), pp. 481–486. At: 89 Google Scholar

Keisler, H.J. 1986 Choosing elements in a saturated model. In: Classification Theory: Chicago, 1985 , ed. by Baldwin, J. Springer-Verlag, 1987.

Keisler, H.J. 198? Measures and forking. Annals of Pure and Applied Logic

Keisler, H.J. and Morley, M. 1967 On the number of homogeneous models of a given power. Israel Journal of Mathematics , vol. 5 (1967), pp. 73–78.Google Scholar

Kierstead, H.A. 1980 Countable models of ω 1 -categorical theories in admissible languages. Annals of Mathematical Logic , vol. 19 (1980), pp. 127–175.Google Scholar

Kirby, L.A.S. and Pillay, A. 1986 Weakly definable types. Transactions of the American Mathematical Society , vol. 295 (1986), pp. 542–564. At: 62 Google Scholar

Knight, J.F. 1977 Skolem functions and elementary embeddings. The Journal of Symbolic Logic , vol. 42 (1977), pp. 94–98.

Knight, J.F. 1978 An inelastic model with indiscernibles. The Journal of Symbolic Logic , vol. 43 (1978), pp. 331–334.Google Scholar

Knight, J.F. 1978a Prime and atomic models. The Journal of Symbolic Logic , vol. 43 (1978), pp. 385–393.Google Scholar

Knight, J.F. 1981 Algebraic independence. Journal of Symbolic Logic , vol. 46 (1981), pp. 377–384.Google Scholar

Knight, J.F. 1986 Saturation of homogeneous respendent models. Journal of Symbolic Logic , vol. 51 (1986), pp. 222–224.Google Scholar

Knight, J.F., Pillay, A. and Steinhorn, C. 1986 Definable sets in ordered structures II. Transactions of the American Mathematical Society , vol. 295 (1986), pp. 593–606.Google Scholar

Kolchin, E.R. 1973 Differential Algebra and Algebraic Groups. Academic Press, 1973. xvii +446 pp. At: 229

Korec, L. and Rautenberg, W. 1976 Model-interpretability into trees and applications. Archiv für Mathematische Logik und Grundlagenforschung , vol. 17 (1976), pp. 97–104.Google Scholar

Kucera, T. 1984 Applications of Stability-theoretical methods to theories of modules. Mcgill University, 1984. 218 pp. Dissertation.

Kueker, D.W. 1970 Back-and-forth arguments and infinitary model theory. In: Infinitary Logic: In Memoriam Carol Karp , ed. by Kueker, D.W. Springer-Verlag, 1970. pp. 17–72. LNM 492. At: 205

Kueker, D.W. 198? Small extensions of countable models. Preprint. At: 311

Kunen, K. 1980 Set Theory, An Introduction to Independence Proofs. North Holland, 1980. xvi + 317 pp. At: 214

Lachlan, A.H. 1971 The transcendental rank of a theory. Pacific Journal of Mathematics , vol. 37 (1971), pp. 119–122.Google Scholar

Lachlan, A.H. 1972 A property of stable theories. Fundamenta Mathematicae , vol. 77 (1972), pp. 9–20. At: 212 Google Scholar

Lachlan, A.H. 1973 On the number of countable models of a countable superstable theory. In: Logic, Methodology and Philosophy of Science IV , ed. by Suppes, R., Henkin, L., Moisil, G.C. and Joja, A. North-Holland. 1973. pp. 45–56. At: 6, 271

Lachlan, A.H. 1974 Two conjectures regarding the stability of ω-categorical theories. Fundamenta Mathematicae , vol. 81 (1974), pp. 133–145. At: 6, 105, 107, ISO, 183 Google Scholar

Lachlan, A.H. 1975 Theories with a finite number of models in an uncountable power are categorical. Pacific Journal of Mathematics , vol. 61 (1975), pp. 465–481. At: 99, 311 Google Scholar

Lachlan, A.H. 1975a A remark on the strict order property. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik , vol. 21 (1975), pp. 69–70.Google Scholar

Lachlan, A.H. 1976 Dimension and totally transcendental theories of rank 2. In: Set Theory and Hierarchy Theory , ed. by Marek, W., Srebrny, M. and Zarach, A. Springer-Verlag, 1976. pp. 153–183.

Lachlan, A.H. 1978 Spectra of ω-stable theories. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik , vol. 24 (1978), pp. 129–139. At: 99, 311 Google Scholar

Lachlan, A.H. 1978 Skolem functions and elementary extensions. Proceedings of London Mathematical Society , vol. 18 (1978), pp. 1–6.Google Scholar

Lachlan, A.H. 1980 Singular properties of Morley rank. Fundamenta Mathematicae , vol. 108 (1980), pp. 145–157. At: 162, 163, 176 Google Scholar

Lachlan, A.H. 1984 On countable stable structures which are homogeneous for a finite relational language. Israel Journal of Mathematics , vol. 49 (1984), pp. 69–153. At: 182 Google Scholar

Lachlan, A.H. 1986 Binary homogeneous structures I. Proceedings of London Mathematical Society , vol. 52 (1986), pp. 385–411. At: 182 Google Scholar

Lachlan, A.H. 1986a Binary homogeneous structures II. Proceedings of London Mathematical Society , vol. 52 (1986), pp. 412–426.Google Scholar

Lachlan, A.H. 198? Structures coordinatized by indiscernible sets. Annals Pure and Applied Logic Preprint.

Lachlan, A.H. and Shelah, S. 1984 Stable structures homogeneous for a finite binary language. Israel Journal of Mathematics , vol. 49 (1984), pp. 155–180. At: 184 Google Scholar

Lang, S. 1971 Algebra. Addison Wesley Publishing Co. 1971. 526 pp. At: 166, 169

Lascar, D. 1973 Types définissables et produits de types. Académie des Sciences de Paris. Comptes Rendus , vol. 276 (1973), pp. A1253–A1256. At: 62, 212 Google Scholar

Lascar, D. 1975 Définissabilité dans les théories stables. Logique et Analyse. Nouvelle Serie , vol. 18 (1975), pp. 489–507.Google Scholar

Lascar, D. 1975 Quelques remarques sur la notion de bifurcation (forking) (English summary). Académie des Sciences de Paris. Comptes Rendus , vol. 280 (1975), pp. A607–A610.Google Scholar

Lascar, D. 1976 Ranks and definability in super stable theories. Israel Journal of Mathematics , vol. 23 (1976), pp. 53–87. At: 6, 45, 63, 71, 158, 162, 163, 237, 271 Google Scholar

Lascar, D. 1976 Définissabilité de types en théorie des modèles. Université Paris 7, 1976. Thèse de Doctorat d'Etat. At: 163

Lascar, D. 1977 Définissabilité dans les théories stables. In: Six Days of Model Theory , ed. by Henrard, P. Paul Castella, Editions, 1977. pp. 257–275.

Lascar, D. 1977a Généralisation de l'ordre de Rudin-Keisler aux types d'une theorie. In: Colloque International de Logique. Editions du Centre National de la Recherche Scientifique (C.N.R.S.), 1977. pp. 73–81.

Lascar, D. 1979 Les modèles dénombrables d'une théorie superstable ayant des fonctions de Skolem. Académie des Sciences de Paris. Comptes Rendus , vol. 289 (1979), pp. 655–658.Google Scholar

Lascar, D. 1981 Les modèles denombrables d'une théorie ayant des fonctions de Skolem. Transactions of the American Mathematical Society , vol. 268/2 (1981), pp. 345–366. At: 7, 365, 366 Google Scholar

Lascar, D. 1981a Le problème de la classification des modèles dénombrables. In: Journées de théorie des modèles à Opheylissem (Belgique), mars 1981.

Lascar, D. 1982 On the category of models of a complete theory. Journal of Symbolic Logic , vol. 47/2 (1982), pp. 249–266.Google Scholar

Lascar, D. 1982a Ordre de Rudin-Keisler et poids dans les théories ω-stables. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik , vol. 28 (1982), pp. 413–430. At: 145, 147, 155, 261 Google Scholar

Lascar, D. 1983 Les corps differentiellement clos denombrables. In: Théories Stables , ed. by Poizat, B. I.H.P. 1983. pp. 9.

Lascar, D. 1984 Relation entre le rang U et le poids. Fundamenta Mathematicae , vol. 121 (1984), pp. 117–123. At: 155, 240, 249, 271, 279 Google Scholar

Lascar, D. 1984a Sousgroupes d'automorphismes d'une structure saturee. In: Logic Colloquim ’82 , ed. by Lolli, J. and Longo, G. & Marcja, A. North Holland, 1984. pp. 123–134.

Lascar, D. 1985 Quelques précisions sur la D.O.P. et la profondeur d'une theorie. The Journal of Symbolic Logic (1985), pp. 316–330. At: 322, 825, 351 Google Scholar

Lascar, D. 1986 Introduction à la stabilité. Longman, 1986. 220 pp.

Lascar, D. 198?a Les groupes ω-stable de rang fini. Preprint.

Lascar, D. and Andler, D. 198? Classification des modèles et complexité d'une théorie. In: Encyclopedia Universalis.

Lascar, D. and Poizat, B. 1979 An introduction to forking. The Journal of Symbolic Logic , vol. 44 (1979), pp. 330–350. At: 55, 64, 65, 71, 78, 79, 225 Google Scholar

Laskowski, M.C. 198? Uncountable theories which are categorical in a higher power. Preprint. 31 pp.

Los, J. 1954 On the categoricity in power of elementary deductive systems and related problems. Colloquium Mathematicum , vol. 3 (1954), pp. 58–62. At: 4 Google Scholar

Loveys, J. 1984 The uniqueness of envelopes in ℵ 0 -categorical, ℵ 0 -stable structures. Journal of Symbolic Logic , vol. 49 (1984), pp. 1171–1184.Google Scholar

Loveys, J. 1985 Certain weakly minimal theories. Simon Fraser University, 1985. 104 pp. Dissertation.

Macintyre, A. 1971 On ω 1 -categorical theories of abelian groups. Fundamenta Mathematicae , vol. 70 (1971), pp. 253–270. At: 94, 97 Google Scholar

Macintyre, A. 1971 On ω 1 -categorical theories of fields. Fundamenta Mathematicae , vol. 71 (1971), pp. 1–25. At: 169 Google Scholar

Macintyre, A. and Shelah, S. 1976 Uncountable universal locally finite groups. Journal of Algebra , vol. 43 (1976), pp. 168–175.Google Scholar

Makkai, M. 1984 A survey of basic stability theory with emphasis on orthogonality and regularity. Israel Journal of Mathematics , vol. 49 (1984), pp. 181–238. At: 52, 148, 155, 176, 225, 238, 242, 249, 252, 271, 279, 285, 290, 291, 302, 346 Google Scholar

Makowsky, J.A. 1971 Kategorizität und endliche Axiomatisierbarkeit. ETH Zürich, 1971. Diplomarbeit. At: 182

Makowsky, J.A. 1972 Note on almost strongly minimal theories (Russian summary). Bulletin de PAcadonie Polonaise des Sciences , vol. 20 (1972), pp. 529–534.Google Scholar

Makowsky, J.A. 1974 On some conjectures connected with complete sentences. Fundamenta Mathematicae , vol. 81 (1974), pp. 193–202.Google Scholar

Mal'cev, A.I. 1971 The Metamathematics of Algebraic Systems, Collected Papers: 1936–1967. North Holland, 1971. Benjamin F. Wells (translator).

Manaster, A.B. 1975 Completeness, Compactness, and Undecidability: an introduction to mathematical logic. Prentice Hall: Eaglewood Cliffs; Prentice Hall, 1975. VI+154pp. At: 284

Mangani, P. and Marcja, A. 1980 Shelah rank for boolean algebras and some application to elementary theories I. Algebra Universalis , vol. 10 (1980), pp. 247–257.Google Scholar

Marcus, L. 1972 A minimal prime model with an infinite set of indiscernibles. Israel Journal of Mathematics , vol. 11 (1972), pp. 180–183.Google Scholar

Marcus, L. 1975 A type-open minimal model. Archiv für Mathematisches Logic und Grundlagenforschung , vol. 15 (1975), pp. 17–24.Google Scholar

Marcus, L. 1980 The number of countable models of a theory of one unary function. Fundamenta Mathematicae , vol. 108 (1980), pp. 171–181. At: 366 Google Scholar

Marczewski, E. 1966 Independence in abstract algebras. Results and problems. Colloquium Mathematica , vol. 14 (1966), pp. 169–188. At: 45 Google Scholar

Marjca, A. and Toffalori, C. 1984 On Cantor-Bendixson spectra containing (1,1) I- In: Models and Sets (Proceedings, Logic Colloqium Aachen, 1983) . Springer Verlag, 1984. pp. 331–350. LNM 1103.

Marjca, A. and Toffalori, C. 1985 On Cantor-Bendixson spectra containing (1,1) II- Journal of Symbolic Logic , vol. 50 (1985), pp. 611–618.Google Scholar

Marsh, W.E. 1966 On ω 1 -categorical and not ω -categorical theories. Dartmouth College, 1966. Dissertation. At: 24

Martin, G.A. 1985 Two classification problems: Rank one structures which coordinatize ℵ0-categorical ℵ0-stable structures; reducts of algebraically closed fields. Rutgers University, 1985. vii-fl23 pp. Dissertation.

Mazoyer, J. 1975 Sur les théories catégoriques finiment axiomatisables (English summary). Académie des Sciences de Paris. Comptes Rendus , vol. 281 (1975), pp. A403–A406.Google Scholar

Meirembekov, K. A. 1980 Remarks on theories with a bounded spectrum. In: Theory of Models and its Applications , ed. by Baizanov, B. Kazakhskii Gosudarstvennyi Universitet, 1980. pp. 65–72.

Mekler, A.H. 1981 Stability of nilpotent groups of class 2 and prime exponent. Journal of Symbolic Logic , vol. 46 (1981), pp. 781–788.Google Scholar

Mekler, A.H. 1983 Model complete theories with a distinguished substructure. Proceedings American Mathematical Society , vol. 75 (1983), pp. 294–299.Google Scholar

Mekler, A.H. 198? Classification theory and stationary logic. Canadian Journal of Mathematics Preprint.

Millar, T. 1981 Stability, complete extensions, and the number of countable models. In: Aspects of Effective Algebra , ed. by Crossley, J.N. Upside Down A Book Company, 1981. pp. 196–205.

Miller, A. 1977 Ph.D. Thesis. University of California, Berkeley, 1977. Dissertation.

Miller, A. 1981 Vaught's conjecture for theories of 1 unary operation. Fundamenta Mathematicae , vol. 111 (1981), pp. 135–141. At: 366 Google Scholar

Morley, M. 1963 On theories categorical in uncountable powers. Proceedings of the National Academy of Sciences of the United States of America , vol. 49 (1963), pp. 213–216.Google Scholar

Morley, M. 1965 Categoricity in power. Transactions of the American Mathematical Society , vol. 114 (1965), pp. 514–538. At: 4, 15, 24, 52, 62, 91, 126, 163, 188, 192, 311 Google Scholar

Morley, M. 1965 Omitting classes of elements. In: The Theory of Models. ed. by Addison, J.W., Henkin, L. and Tarski, A. North-Holland. 1965. pp. 265–273. At: 212

Morley, M. 1967 Countable models of ℵ1-categorical theories. Israel Journal of Mathematics , vol. 5 (1967), pp. 65–72.Google Scholar

Morley, M. 1968 Partitions and models. In: Proceedings of the Summer School in Logic , ed. by Loeb, M.H. Springer-Verlag, 1968. pp. 109–158. At: 22

Morley, M. 1970 The number of countable models. The Journal of Symbolic Logic , vol. 35 (1970), pp. 14–18. At: 6 Google Scholar

Morley, M. and Vaught, R.L. 1962 Homogeneous universal models. Mathematica Scandinavica , vol. 11 (1962), pp. 37–57.Google Scholar

Mortimer, M.. 1974 Some topics in model theory. Bedford College, 1974. 120 pp. Dissertation.

Murzin, F.A. 1974 Totally transcendental and Ni-categorical theories (Russian). 1974. pp. 145–147.

Mustafin, T.G. 1970 Models of totally transcendental theories (Russian. Kazakh summary). Izvestiya Akademii Nauk Kazakhskoj SSR. vol. 1971/1 (1970), pp. 37–43.Google Scholar

Mustafin, T.G. 1977 A strong base of elementary types of theories. Siberian Mathematical Journal , vol. 18 (1978), pp. 961–969. Russian original: 1977, pp. 1356–1366.Google Scholar

Mustafin, T.G. 1980 A non-two-cardinal set of stable types. Mathematical Notes of the Academy of Sciences of the USSR , vol. 27 (1980), pp. 253–259. Russian original: pp. 515–525.Google Scholar

Mustafin, T.G. 1981 On the number of countable models of a countable complete theory (Russian). Algebra i Logika. vol. 20 (1981), pp. 69–91.Google Scholar

Mustafin, T.G. 1981a Principles of normalization of formulas. Sibirskij Matem-aticheskij ZhurnalAkademiya Nauk SSSR. Sibirskoe Otdelenie , vol. 22 (1981), pp. 158–169,237.Google Scholar

Mustafin, T.G. 1981b Rank functions in stable theories. Siberian Mathematical Journal , vol. 21 (1981), pp. 815–824.Google Scholar

Mustafin, T.G. 1981c Theories with a two-cardinal formula. Algebra and Logic , vol. 19 (1981), pp. 438–442. Russian original: pp.676–682,746.Google Scholar

Mustafin, T.G. 1985 Classification of super stable theories by rank functions. Algebra and Logic , vol. 24 (1985), pp. 171–209. Russian original: pp.42–65.Google Scholar

Mustafin, T.G. and Taimanov, A.D. 1970 Countable models of theories which are categorical in power Ni but not in power No (Russian). Algebra i Logika , vol. 9 (1970), pp. 559–565.Google Scholar

Narkiewicz, W. 1964 On a cerain class of abstract algebras. Fundamenta Mathematicae , vol. 54 (1964), pp. 115–124. At: 45 Google Scholar

Nesin, A. 1985 Groups of finite Morley rank. Yale University, 1985. 119 pp. Dissertation. At: 98

Nesin, A. 1985 A survey of results of groups of finite Morley rank. Preprint, 1985.

Nesin, A. 198? Bad Groups. Preprint.

Nesin, A. 198?a Non-solvable groups of Morley rank 3. Preprint. 26 pp.

Nesin, A. 198?b Solvable groups of finite Morley rank. Preprint. 20 pp.

Nesin, A. 198?c Zilber's results. Preprint. 17 pp.

Neumann, B.H. 1954 Groups covered by permutable subsets. Journal of the London Mathematical Society , vol. 29 (1954), pp. 236–248. At: 27 Google Scholar

Omarov, A.I. 1979 ∆ t -minimality and the finite cover property. In: Teorija Nereguljarnyh Krivyh v Razlichnyh Geometri , ed. by Taiclin, M.A. Kazakhskii Gosudarstvennyi Universitet, 1979. pp. 74–76.

Omarov, B. 1980 Ranks and Deg of countable ω 0 -categorical theories. In: Theory of Models and its Applications , ed. by Baizanov, B. Kazakhskii Gosudarstvennyi Universitet, 1980. pp. 61–65.

Pabion, J.F. 1971 Une notion de transcendance dans les structures relationnelles . Académie des Sciences de Paris. Comptes Rendus , vol. 272 (1971), pp. A1541–A1544.Google Scholar

Paillet, J.L. 1978 Théories complètes ℵ 0 -categoriques et non finiment model-complétables. Académie des Sciences de Paris. Comptes Rendus , vol. 286 (1978), pp. 1167–1170.Google Scholar

Paljutin, E.A. 1971 Models with countable-categorical universal theories. Algebra and Logic , vol. 10 (1971), pp. 15–21.Google Scholar

Paljutin, E.A. 1971a N*-homogeneous models (Russian). Sibirskij Matematicheskij ZhurnalAkademiya Nauk SSSR. Sibirskoe Otdelenie , vol. 12 (1971), pp. 920–921.Google Scholar

Paljutin, E.A. 1980 Categorical Horn classes I (Russian). Algebra i Logika , vol. 19 (1980), pp. 582–614,617.Google Scholar

Paljutin, E.A. 1973 Categorical quasivarieties of arbitrary signature. Siberian Journal of Mathematics , vol. 14 (1973), pp. 904–916. Russian original: pp. 1285–1303. At: 45, 184 Google Scholar

Paljutin, E.A. 1976 The description of categorical quasivarieties. Algebra and Logic , vol. 14 (1976), pp. 86–111. Russian original: pp.145–185. At: 45, 184 Google Scholar

Peretjat'kin, M.G. 1973 On complete theories with a finite number of denumerable models. Algebra and Logic , vol. 12 (1973), pp. 310–326. Russian original:pp.550–576,618.Google Scholar

Peretjat'kin, M.G. 1980 A theory with three countable models. Algebra i Logika , vol. 19 (1980), pp. 224–235,251. Russian original: pp.224–235.Google Scholar

Peretjat'kin, M.G. 1980 An example of an ω 1 -categorical complete finitely axiomatizable theory (English translation). Algebra and Logic , vol. 19 (1980), pp. 202–229.Google Scholar

Pillay, A. 1978 Number of countable models. The Journal of Symbolic Logic , vol. 43 (1978), pp. 492–496.Google Scholar

Pillay, A. 1980 Instability and theories with few models. Proceedings of the American Mathematical Society , vol. 80 (1980), pp. 461–468.Google Scholar

Pillay, A. 1980a Theories with exactly three countable models and theories with algebraic prime models. The Journal of Symbolic Logic , vol. 45 (1980), pp. 302–310.Google Scholar

Pillay, A. 1981 Number of models of theories with many types. In: Groupe d'Etude de Théories Stables. 2ème Année: 1978/79 , ed. by Poizat, B. Université Pierre et Marie Curie, Institut Henri Poincaré. 1981. pp. 10. At: 31, 216

Pillay, A. 1981a A class of ℵ 0 -categorical thoeries. Zeitschrift für Logik und Grundlagen der Mathematik , vol. 27 (1981), pp. 411–418.Google Scholar

Pillay, A. 1981b Finitely generated models of ω-stable theories. Bulletin de la Société Mathénatique de Belgique , vol. 33 (1981), pp. 83–91.Google Scholar

Pillay, A. 1981c Prime models over subsets. In: Groupe d'Etude de Théories Stables. 2ème Année: 1978/79 , ed. by Poizat, B. Université Pierre et Marie Curie, Institut Henri Poincaré. 1981. pp. 8.

Pillay, A. 1982 Dimension theory and homogeneity for elementary extensions of a model. Journal of Symbolic Logic , vol. 47/1 (1982), pp. 147–160. At: 249 Google Scholar

Pillay, A. 1982a Weakly homogeneous models. Proceedings of the American Mathematical Society , vol. 86 (1982), pp. 126–132. At: 315 Google Scholar

Pillay, A. 1983 Countable models of stable theories. Proceedings of the American Mathematical Society , vol. 89 (1983), pp. 660–672. At: 6, 180, 184, 271 Google Scholar

Pillay, A. 1983a An introduction to stability theory. Clarendon Press, Oxford, 1983. xi + 146 pp. At: 65, 89, 110, 112, 163, 196, 204

Pillay, A. 1983b A note on finitely generated models. Journal of Symbolic Logic , vol. 48 (1983), pp. 163–166.Google Scholar

Pillay, A. 1983c A note on tight stable theories. Archiv für Mathematische Logik und Grundlagenforschung , vol. 23 (1983), pp. 147–152.Google Scholar

Pillay, A. 1983d ℵ 0 -categoricity over a predicate. Notre Dame Journal of Formal Logic , vol. 24 (1983), pp. 527–536.Google Scholar

Pillay, A. 1983e Well-definable types over subsets. In: Théories Stables , ed. by Poizat, B. I.H.P. 1983. pp. 4. At: 11

Pillay, A. 1983f The models of a non-multidimensional UJ-stable theory. In: Théories Stables , ed. by Poizat, B. I.H.P. 1983. pp. 22. At: 295, 311

Pillay, A. 1984 Regular types in non-multidimensional ω-stable theories. Journal of Symbolic Logic , vol. 49 (1984), pp. 880–891. At: 249 Google Scholar

Pillay, A. 1984a Countable modules. Fundamenta Mathematicae , vol. 121 (1984), pp. 125–132.Google Scholar

Pillay, A. 1986 Superstable groups of finite rank without pseudoplanes. Annals of Pure and Applied Logic , vol. 30 (1986), pp. 95–101. At: 184 Google Scholar

Pillay, A. 1986a Simple Superstable theories. In: Classification Theory: Chicago, 1985 , ed. by Baldwin, J. Springer-Verlag, 1987.

Pillay, A. 198? Forking, normalisation and canonical bases. Annals of Pure and Applied Logic Preprint. At: 71, 130, 176

Pillay, A. 198?a Stable theories, pseudoplanes and the number of countable models. Annals of Pure and Applied Logic Preprint. At: 184

Pillay, A. 198?b On groups and fields definable in O-minimal structures. Preprint.

Pillay, A. and Poizat, B. 198? Pas d'imaginaires dans Vinfini. Preprint. 7 pp.

Pillay, A. and Prest, M. 1983 Forking and pushouts in modules. Journal of the London Mathematical Society , vol. 46 (1983), pp. 365–384.Google Scholar

Pillay, A. and Prest, M. 198? Modules and stability theory. Transactions of the American Mathematical Society Preprint.

Pillay, A. and Shelah, S. 1985 Classification theory over a predicate I. Notre Dame Journal of Formal Logic , vol. 26 (1985), pp. 361–376.Google Scholar

Pillay, A. and Srour, G. 1984 Closed sets and chain conditions in stable theories. Journal of Symbolic Logic , vol. 49 (1984), pp. 1350–1362. At: 184 Google Scholar

Pillay, A. and Steinhorn, C. 1984 Definable sets in ordered structures. Bulletin of the American Mathematical Society , vol. 11 (1984), pp. 159–161.Google Scholar

Pillay, A. and Steinhorn, C. 1985 A note on non-multidimensional superstable theories. Journal of Symbolic Logic , vol. 50 (1985), pp. 1020–1024. At: 112, 117, 225 Google Scholar

Pillay, A. and Steinhorn, C. 1986 Definable sets in ordered structures I. Transactions of the American Mathematical Society , vol. 295 (1986), pp. 565–593. At: 2. Google Scholar

Podewski, K.-P. and Reineke, J. 1974 An ω 1 -categorical ring which is not almost strongly minimal. The Journal of Symbolic Logic , vol. 39 (1974), pp. 665–668.Google Scholar

Podewski, K.-P. and Ziegler, M. 1978 Stable graphs. Fundamenta Mathematicae , vol. 100 (1978), pp. 101–107.Google Scholar

Poizat, B. 1977 Déviation des types. Université de Paris 6, 1977. 83 pp. These de Doctorat d'Etat.

Poizat, B. 1978 Une preuve par la théorie de la déviation d'un théorème de J. Baldwin. Académie des Sciences de Paris. Comptes Rendus. Série A , vol. 287 (1978), pp. 589–591. At: 168 Google Scholar

Poizat, B. 1978a Groupe d'Etude de Théories Stables (Bruno Poizat). lère Année: 1977/78. Exposés 1 a 9. Université Pierre et Marie Curie, Institut Henri Poincaré. Paris: Secretariat Mathématique. 1978. 104 pp.

Poizat, B. 1978b Rangs des types dans les corps différentiels. In: Groupe d'Etude de Théories Stables. 2ème Année: 1978/79 , ed. by Poizat, B. Université Pierre et Marie Curie, Institut Henri Poincaré. Paris: Secretariat Mathématique. 1978. pp. 13.

Poizat, B. 1978c Suites d'indiscernables dans les théories stables. In: Groupe d'Etude de Théories Stables. 2ème Année: 1978/79 , ed. by Poizat, B. Université Pierre et Marie Curie, Institut Henri Poincaré. Paris: Secretariat Mathématique. 1978. pp. 7.

Poizat, B. 1978d Une théorie ω 1 -catégorique à αT fini. In: Groupe d'Etude de Théories Stables. 2ème Année: 1978/79 , ed. by Poizat, B. Université Pierre et Marie Curie, Institut Henri Poincaré. Paris: Secretariat Mathématique. 1978. pp. 3.

Poizat, B. 1980 Le rang U selon Lascar. In: Théories Stables , ed. by Poizat, B. I.H.P. 1980.

Poizat, B. 1980a Les équations différentielles vues par un logicien. In: Sem Equat Deriv Part Hyperb & Holom(1979/1980). 1980.

Poizat, B. 1981 Sous-groupes definissables d'un groupe stable. The Journal of Symbolic Logic , vol. 46 (1981), pp. 137–146. At: 98, 97, 168, 169 Google Scholar

Poizat, B. 1981a Exercices en stabilité. In: Groupe d'Etude de Théories Stables. 2ème Année: 1978/79, ed. by Poizat, B. Université Pierre et Marie Curie, Institut Henri Poincaré. Paris: Secretariat Mathématique. 1981. pp. 5.

Poizat, B. 1981b Modèles premiers d'une théorie totalement transcendante. In: Groupe d'Etude de Théories Stables. 2ème Année: 1978/79 , ed. by Poizat, B. Université Pierre et Marie Curie, Institut Henri Poincaré. Paris: Secretariat Mathématique. 1981. pp. 7.

Poizat, B. 1981c Théories instables. The Journal of Symbolic Logic , vol. 46 (1981), pp. 513–522.Google Scholar

Poizat, B. 1981d Groupe d'Etude de Théories Stables (Bruno Poizat). 2ème Année: 1978/79. Exposés 1 à 11. Universite Pierre et Marie Curie, Institut Henri Poincaré. Paris: Secretariat Mathématique. 1981. ii+115 pp.

Poizat, B. 1983 Pairs of structures stable. Journal of Symbolic Logic , vol. 48 (1983), pp. 239–249. At: 25 Google Scholar

Poizat, B. 1983a Une théorie de Galois imaginaire. Journal of Symbolic Logic , vol. 48 (1983), pp. 1151–1171. At: 176 Google Scholar

Poizat, B. 1983b Post-scriptum à “Theories instables”. Journal of Symbolic Logic , vol. 48/1 (1983), pp. 60–62.Google Scholar

Poizat, B. 1983c Groupes stables avec types generiques reguliers. Journal of Symbolic Logic (1983), pp. 339–355.Google Scholar

Poizat, B. 1983d Groupe d'Etude de théories stables (Bruno Poizat). 3è Année: 1980–82. Universite Pierre et Marie Curie, Institut Henri Poincare. Paris: Secretariat Mathematique. 1983. 115 pp.

Poizat, B. 1984 Deux remarques à propos de la propriété de recouvrement fini. Journal of Symbolic Logic , vol. 49 (1984), pp. 803–807. At: 25 Google Scholar

Poizat, B. 1985 Cours de théorie des modèles. Nur al-Mantiq wal-Ma'rifah 82 Rue Racine, 69100 Villeurbanne, France, 1985. 584 pp. At: 15, 91, 145, 176

Poizat, B. 198? La structure geometrique des groupes stables. In: Humboldt Universität Seminarberichte Nr.60. pp. 205–217.

Poizat, B. 198?a A propos de groupes stables. In: Proceedings of Logic Colloquium 85, Paris. Preprint.

Prest, M. 1985 The generalized RK-order orthogonality and regular types for modules. Journal of Symbolic Logic , vol. 50 (1985), pp. 202–219. At: 226 Google Scholar

Poizat, B. 198? Model theory of modules. Preprint. At: 25, 29, 30

Poizat, B. 198?a Pure injectives and T-injective hulls of modules. Preprint.

Reineke, J. 1975 Minimale Gruppen. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik , vol. 21 (1975), pp. 357–359.Google Scholar

Ressayre, J.-P. 1969 Sur les théories du premier ordre catégorique en un cardinal. Transactions of the American Mathematical Society , vol. 142 (1969), pp. 481–505. At: 62 Google Scholar

Reyes, G.E. 1970 Local definability theory. Annals of Mathematical Logic , vol. 1 (1970), pp. 95–137.Google Scholar

Robinson, A. 1956 Complete Theories. North Holland, 1956. At: 192

Robinson, A. 1959 On the concept of a differentially closed field. Research Council of Israel. Bulletin. Section F. Mathematics and Physics , vol. 8 (1959), pp. 113–128.Google Scholar

Rogers, P. 1981 Preservation of saturation and stability in a variety of nilpotent groups. The Journal of Symbolic Logic , vol. 46 (1981), pp. 499–512.Google Scholar

Rose, B.I. 1980 On the model theory of finite dimensional algebras. Proceedings of London Mathematical Society , vol. 40 (1980), pp. 21–39.Google Scholar

Rose, B.I. 1978 The ℵ 1 -categoricity of strictly upper triangular matrix rings over algebraically closed fields. The Journal of Symbolic Logic , vol. 43 (1978), pp. 250–259.Google Scholar

Rosenstein, J.G. 1971 A note on a theorem of Vaught. The Journal of Symbolic Logic , vol. 36 (1971), pp. 439–440.Google Scholar

Rosentha, J.W. 1972 A new proof of a theorem of Shelah. The Journal of Symbolic Logic , vol. 37 (1972), pp. 133–134.Google Scholar

Rosentha, J.W. 1975 Partial ℵ 1 -homogeniety of the countable saturated model of an ℵ 1 -categorical theory. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik , vol. 21 (1975), pp. 307–308.Google Scholar

Rosentha, J.W. 1979 On the dimension theory of ℵ1-categorical theories with the non- trivial strong elementary intersection property. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik , vol. 25 (1979), pp. 359–362.Google Scholar

Rothmaler, P. 1978 Total transzendente abelsche Gruppen und Morley-Rang. Preprint, 1978. 45 pp.

Rothmaler, P. 1982 A note on the finite cover property in modules. Preprint. Akad Wiss DDR ZI Math Mech: Berlin, 1982.

Rothmaler, P. 1983 Another treatment of the foundations of forking theory. In: Proceedings of the Third Easter Conference on Model Theory. 1983. pp. 25. At: 79

Rothmaler, P. 1983 Stationary types in modules. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (1983), pp. 445–464.Google Scholar

Rothmaler, P. 1983 Some model theory of modules I. On total transcendence of modules. Journal of Symbolic Logic , vol. 48 (1983), pp. 570–574.Google Scholar

Rothmaler, P. 1983 Some model theory of modules II. On stability and categoricity of flat modules. Journal of Symbolic Logic , vol. 48 (1983), pp. 970–985.Google Scholar

Rothmaler, P. 1984 Some model theory of modules III. On infiniteness of sets definable in modules. Journal of Symbolic Logic , vol. 49 (1984), pp. 32–46.Google Scholar

Rothmaler, P. and Tuschik, H.P. 1980 A two cardinal theorem for homogeneous sets and the elimination of Malitz quantifiers. In: Prepr Akad Wiss DDR ZI Math Mech. 1980. pp. 26.Google Scholar

Rowbottom, F. 1964 The Los conjecture for uncountable theories. Notices of the American Mathematical Society , vol. 11 (1964), pp. 248. At: 62 Google Scholar

Rubin, M. 1974 Theories of linear order. Israel Journal of Mathematics , vol. 17 (1974), pp. 392–443. At: 7, 9, 366 Google Scholar

Ryll-Nardzewski, C. 1959 On the categoricity in power ≤ ℵ0- Bulletin de l'Académie Polonaise des Sciences , vol. 7 (1959), pp. 545–548. At: 24 Google Scholar

Sabbagh, G. 1975 Catégoricité en ℵ0 et stabilité: constructions les preservant et conditions de chaine. Académie des Sciences de Paris. Comptes Rendus , vol. 280 (1975), pp. A531–A535. At: 98 Google Scholar

Sabbagh, G. 1975 Catégoricité et stabilité: Quelques exemples parmi les groupes et anneaux (English summary). Académie des Sciences de Paris. Comptes Rendus , vol. 280 (1975), pp. A603–A606.Google Scholar

Sabbagh, G. 1975 Sur les groupes qui ne sont pas réunion d'une suite croissante de sous-groupes propres (English summary). Académie des Sciences de Paris. Comptes Rendus , vol. 280 (1975), pp. A763–A766.Google Scholar

Sacks, G.E. 1972 Saturated model theory. W.A. Benjamin, Addison-Wesley. 1972. XII+335 pp. At: 15

Sacks, G.E. 1972 The differential closure of a differential field. Bulletin of the American Mathematical Society , vol. 78 (1972), pp. 629–634.Google Scholar

Sacks, G.E. 1979 Effective bounds on Morley rank. Fundamenta Mathematicae , vol. 103 (1979), pp. 111–121.Google Scholar

Saffe, J. 1981 Einige Ergebnisse über die Anzahl abzählbarer Modelle superstabiler Theorien. Fakultät für Mathematik und Natur-wissenschaftender Universitat Hannover, 1981. 55 pp. Dissertation. At: 117, 356, 364

Saffe, J. 1982 A superstable theory with the dimensional order property has many models. In: Proceedings of the Herbrand Symposium: Logic Colloquium ’81, Held in Marseilles, France, July 1981 , ed by Stern, J. North-Holland Publishing Co. 1982. pp. 281–286. At: 339

Saffe, J. 1983 One theorem on the number of uncountable models. Preprint 31. USSR Academy of Sciences, Siberian Division, Institute of Mathematics, Novosibirsk, 1983.

Saffe, J. 1983 The number of uncountable models of ω-stable theories. Annals of Pure and Applied Logic , vol. 24 (1983), pp. 231–261. At: 295, 311, 330, 351, 364, S77, 397 Google Scholar

Saffe, J. 1984 Categoricity and ranks. Journal of Symbolic Logic , vol. 49 (1984), pp. 1379–1382. At: 163 Google Scholar

Saffe, J. 198? An introduction to regular types. Preprint.

Saffe, J. 198?a Normalization and forking. Preprint. At: 180

Saffe, J., Paljutin, E.A. and Starchenko, S.S. 1985 Models of superstable Horn Theories. Algebra and Logic , vol. 24 (1985), pp. 171–209. Russian original: pp.278–327.Google Scholar

Shelah, S. 1969 Categoricity and classes of models (Hebrew). Hebrew University of Jerusalem, 1969. ii+69 pp. Dissertation. At: 212

Saffe, J. 1969a Stable theories. Israel Journal of Mathematics , vol. 7 (1969), pp. 187–202. At: 62 Google Scholar

Saffe, J. 1970 Finite diagrams stable in power. Annals of Mathematical Logic , vol. 2 (1970), pp. 69–118. At: 201 Google Scholar

Saffe, J. 1970a On theories T categorical in | T |. The Journal of Symbolic Logic , vol. 35 (1970), pp. 73–82.Google Scholar

Saffe, J. 1971 Stability, the f c.p. and super stability; model theoretic properties of formulas in first-order theories. Annals of Mathematical Logic , vol. 3 (1971), pp. 271–362. At: 54, 55, 62, 71, 91, 161, 212 Google Scholar

Saffe, J. 1971a The number of non-isomorphic models of an unstable first-order theory. Israel Journal of Mathematics , vol. 9 (1971), pp. 473–487. At: 31 Google Scholar

Saffe, J. 1971b On the number of non almost-isomorphic models of a theory in a power. Pacific Journal of Mathematics , vol. 36 (1971), pp. 811–818.Google Scholar

Saffe, J. 1972 Uniqueness and characterization of prime models over sets for totally transcendental first-order-theories. The Journal of Symbolic Logic , vol. 37 (1972), pp. 107–113. At: 126, 229 Google Scholar

Saffe, J. 1972a A combinatorial problem; stability and order for models and theories in infinitary languages. Pacific Journal of Mathematics , vol. 41 (1972), pp. 247–261.Google Scholar

Saffe, J. 1973 Differentially closed fields. Israel Journal of Mathematics , vol. 16 (1973), pp. 314–328.Google Scholar

Saffe, J. 1973a There are just four second-order quantifiers. Israel Journal of Mathematics , vol. 15 (1973), pp. 282–300.Google Scholar

Saffe, J. 1974 Remark to — “local definability theory” of Reyes. Annals of Mathematical Logic , vol. 2 (1974), pp. 441–448. At: 62 Google Scholar

Saffe, J. 1974a Categoricity of uncountable theories. In: Proceedings of the Tarski Symposium. An International Symposium Held to Honor Alfred Tarski on the Occasion of his 70th Birthday , ed. by Henkin, L. et al. American Mathematical Society, 1974. pp. 187–203.

Saffe, J. 1975 The lazy model theorist's guide to stability. Logique et Analyse. Nouvelle Série , vol. 18 (1975), pp. 241–308. At: 30, 97, 226, 229 Google Scholar

Saffe, J. 1975a The monadic theory of order. Annals of Mathematics , vol. 102 (1975), pp. 379–419. At: 844 Google Scholar

Saffe, J. 1975b Why there are many nonisomorphic models for unsuperstable theories. In: Proceedings of the International Congress of Mathematicians , ed. by James, R.D. Canadian Mathematical Congress, 1975. pp. 259–263. At: 31

Saffe, J. 1975c Categoricity in ℵ1 of sentences in L ω 1 ω(Q). Israel Journal of Mathematics , vol. 20 (1975), pp. 127–148.Google Scholar

Saffe, J. 1978 Classification Theory and the Number of Nonisomorphic Models. North-Holland. 1978. XVI+544 pp. At: 3, 4, 5, 6, 12, 25, 80, 45, 52, 55, 68, 79, 80, 88, 89, 90, 91, 101, 107, 108, 112, 117, 118, 120, 126, 132, 148, 153, 158, 159, 161, 163, 176, 188, 192, 193, 195, 196, 201, 204, 208, 209, 212, 214, 216, 225, 231, 232, 283, 237, 240, 242, 244, 249, 251, 252, 256, 261, 265, 271, 281, 282, 290, 291, 293, 295, 302, 311, 339, 365

Saffe, J. 1978a End extensions and numbers of countable models. The Journal of Symbolic Logic , vol. 43 (1978), pp. 550–562. At: 7, 365, 366 Google Scholar

Saffe, J. 1978b On the number of minimal models. The Journal of Symbolic Logic , vol. 43 (1978), pp. 475–480.Google Scholar

Saffe, J. 1979 On uniqueness of prime models. The Journal of Symbolic Logic , vol. 44 (1979), pp. 215–220. At: 229 Google Scholar

Saffe, J. 1980 Independence results. The Journal of Symbolic Logic , vol. 45 (1980), pp. 563–573. At: 31 Google Scholar

Saffe, J. 1980a Simple unstable theories. Annals of Mathematical Logic , vol. 19 (1980), pp. 177–203. At: 33, 132, 136 Google Scholar

Saffe, J. 1982 The spectrum problem I, ℵϵ-saturated models the main gap. Israel Journal of Mathematics , vol. 43 (1982), pp. 324–356. At: 30, 52, 153, 233, 252, 317, 325, 330, 331, 339, 342, 346, 350, 351, 856, 364 Google Scholar

Saffe, J. 1982a The spectrum problem II, Totally transcendental theories and the infinite depth case. Israel Journal of Mathematics , vol. 43 (1982), pp. 357–364. At: 277 Google Scholar

Saffe, J. 1982b Better quasi-orders for uncountable cardinals. Israel Journal of Mathematics , vol. 42 (1982), pp. 177–226. At: 31 Google Scholar

Saffe, J. 1983 Constructions of many complicated uncountable structures and Boolean algebras. Israel Journal of Mathematics , vol. 45 (1983), pp. 100–146. At: 31 Google Scholar

Saffe, J. 1983a Classification theory for non-elementary classes I, the number of uncountable models ψ ∈ Lω1ω. Part A. Israel Journal of Mathematics , vol. 46 (1983), pp. 212–240. At: 33, 317 Google Scholar

Saffe, J. 1983b Classification theory for non-elementary classes I, The number of uncountable models ψ ∈ Lω1ω. Part B. Israel Journal of Mathematics , vol. 46 (1983), pp. 241–173.Google Scholar

Saffe, J. 1984 On universal graphs without instances of CH. Annals of Pure and Applied Logic , vol. 26 (1984), pp. 75–87.Google Scholar

Saffe, J. 1985 Classification of first order theories which have a structure theory. Bulletin of the American Mathematical Society , vol. 12 (1985), pp. 227–232. At: 2 Google Scholar

Saffe, J. 1985a Monadic logic: Lowenheim numbers. Annals of Pure and Applied Logic , vol. 28 (1985), pp. 203–216.Google Scholar

Saffe, J. 1985b On the possible number of no(M) = the number of non-isomorphic models L∞,λ-equivalent to M of power λ, for singular λ. Notre Dame Journal of Formal Logic , vol. 26 (1985), pp. 36–50.Google Scholar

Saffe, J. 1986 Monadic logic: Hanf numbers. In: Around Classification Theories of Models . Springer Verlag, 1986. pp. 203–222. LNM 1182. At: 33

Saffe, J. 1986a Classification over a predicate II. In: Around Classification Theories of Models . Springer Verlag, 1986. pp. 1–47. LNM 1182.

Saffe, J. 1986b On countable theories with model-homogeneous models only. In: Around Classification Theory . Springer-Verlag, 1986. pp. 269–272. LNM 1182.

Saffe, J. 1986c On almost categorical theories. In: Classification Theory, Chicago 1985. , ed. by Baldwin, J. Springer-Verlag, 1987. Preprint. At: 311, 330

Saffe, J. 198? Classification theory and the number of nonisomorphic models (2nd edition). North-Holland. Preprint. At: 6, 31, 110, 112, 219, 263, 282, 339, 345, 346, 350, 397

Saffe, J. 198?a The spectrum problem III, Universal theories. Israel Journal of Mathematics Preprint.

Saffe, J. 198?b Existence of many L∞,λ-equivalent non-isomorphic models of T of power λ. Annals of Pure and Applied Logic Preprint.

Saffe, J. 198?c On the numbers of strongly ℵϵ-saturated models of power λ. Preprint. 20pp. At: 71

Saffe, J. 198?d The number of pairwise non-elementary embeddable models. The Journal of Symbolic Logic Preprint. At: 31

Shelah, S., Harrington, L. and Makkai, M. 1984 A proof of Vaught's conjecture for totally transcendental theories. Israel Journal of Mathematics , vol. 49 (1984), pp. 259–278. At: 7, 306, 311, 866, 871, 877, 888, 897 Google Scholar

Shoenfield, J.R. 1967 Mathematical Logic. Addison-Wesley Publishing Co. 1967. VII+344 pp. At: 15

Siegel, C.L. 1949 Transcendental Numbers. Princeton University Press, 1949. viii + 162 pp. At: 62

Sierpinski, W. 1965 Cardinal and Ordinal Numbers. (2nd revised edition). Panstwowe Wydawnictwo Naukowe (PWN), 1965. 491 pp.

Sikorski, R. 1964 Boolean Algebras. (2nd edition). Springer-Verlag, 1964. X+237 pp. At: 11, 106

Smith, K.W. 1981 Stability and categoricity of lattices. Canadian Journal of Mathematics , vol. 33 (1981), pp. 1380–1419.Google Scholar

Steel, J.R. 1978 On Vaught's conjecture. In: Cabal Seminar 76–77: Proceedings of the Caltech-UCLA Logic Seminar 1976–77 , ed. by Kechris, A.S. and Moschovakis, Y.N. Springer-Verlag, 1978. pp. 193–208. At: 7, 866

Svenonius, L. 1959 ℵ 0 -categoricity in first-order predicate calculus. Theoria (Lund) , vol. 25 (1959), pp. 82–94. At: 24 Google Scholar

Svenonius, L. 1963 On the denumerable models of theories with extra predicates. In: The Theory of Models , ed. by Addison, J.W., Henkin, L. and Tarski, A. North-Holland. 1963. pp. 376–389.

Szmielew, W. 1955 Elementary properties of abelian groups. Fundamenta Mathematicae , vol. 41 (1955), pp. 203–271. At: 30 Google Scholar

Thomas, S. 1983 Classification theory of simple locally finite groups. Bedford College, University of London, 1983. 89 pp. Dissertation. At: 98

Thomas, S. 198? Model theory of locally finite groups, I. Preprint. 18 pp.

Thomas, S. 198?a Model theory of locally finite groups, II. Preprint.

Tsuboi, A. 1985 On the number of independent partitions. The Journal of Symbolic Logic , vol. 50 (1985), pp. 809–815.Google Scholar

Tsuboi, A. 1985 On theories having a finite number of non-isomorphic countable models. The Journal of Symbolic Logic , vol. 50 (1985), pp. 806–808.Google Scholar

Urbanik, K. 1959/60 A representation theorem for Marczewski's algebras. Fundamenta Mathematicae , vol. 57 (1959/60), pp. 147–167. At: 45 Google Scholar

Urbanik, K. 1965 On algebraic operations in idempotent algebras. Colloquium Mathematicum , vol. 13 (1965), pp. 129–157. At: 45 Google Scholar

Urbanik, K. 1966 Linear independence in abstract algebras. Colloquium Math- ematica , vol. 14 (1966), pp. 233–255. At: 45 Google Scholar

Van der Waerden, B.L. 1949 Modern algebra. Frederick Ungar Publishing Co., New York, 1949. 264 pp. At: 35, 45

Vaughn, J. 1985 ℵ1 -categorical locally modular theories. University of Illinois at Chicago, 1985. 67 pp. Dissertation. At: 106, 180

Vaught, R.L. 1954 Applications of the Löwenheim-Skolem-Tarski theorem to problems of completeness and decidability. Indagationes Mathematicae , vol. 16 (1954), pp. 467–472. At: 4 Google Scholar

Vaught, R.L. 1961 Denumerable models of complete theories. In: Infinitistic Methods. Proceedings of the Symposium on Foundations of Mathematics. Panstwowe Wydawnictwo Naukowe (PWN), 1961. pp. 303–321. At: 20, 188, 192, 202, 212

Vaught, R.L. 1961a A Loewenheim-Skolem theorem for two cardinals. Notices of the American Mathematical Society , vol. 8 (1961), pp. 239.Google Scholar

Vaught, R.L. 1965 A Lowenheim-Skolem theorem for cardinals far apart. In: Theory of Models (Proceedings of 1963 International Symposium at Berkeley) , ed. by Addison, J.A. and Henkin, L. & Tarski, A. North Holland, 1965. pp. 390–401. At: 211, 212

Wagner, C.W. 1982 On Martin's Conjecture. Annals of Mathematical Logic , vol. 22 (1982), pp. 47–68.Google Scholar

Weil, A. 1955 On algebraic groups of transformations. American Journal of Mathematics (1955), pp. 355–391.Google Scholar

Wheeler, W. 1980 Model theory of strictly upper triangular matrix rings. Journal of Symbolic Logic , vol. 45 (1980), pp. 205–206.Google Scholar

Whitney, H. 1935 On the abstract properties of linear dependence . American Journal of Mathematics , vol. 57 (1935), pp. 509–533. At: 35, 45 Google Scholar

Wierzejewski, J. 1974 A note on stability and products . Bulletin de l'Académie Polonaise des Sciences , vol. 22 (1974), pp. 875–876.Google Scholar

Wierzejewski, J. 1976 On stability and products (Add & corr ibid 97*51–52) . Fundamenta Mathematicae , vol. 93 (1976), pp. 81–95.Google Scholar

Wierzejewski, J. 1976a Remarks on stability and saturated models . Colloquium Mathematicum , vol. 34 (1976), pp. 165–169.Google Scholar

Wierzejewski, J. 1977 A note on products and degree of types. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik , vol. 23 (1977), pp. 431–434.Google Scholar

Wood, C. 1973 Prime model extensions of differential fields, characteristic . Notices of American Mathematical Society , vol. 20 (1973), pp. 445. At: 229 Google Scholar

Wood, C. 1976 The model theory of differential fields revisited. Israel Journal of Mathematics , vol. 25 (1976), pp. 331–352. At: 229 Google Scholar

Wood, C. 1979 Notes on the stability of separably closed fields. The Journal of Symbolic Logic , vol. 44 (1979), pp. 412–416. At: 229 Google Scholar

Woodrow, R.E. 1978 Theories with a finite number of countable models. The Journal of Symbolic Logic , vol. 43 (1978), pp. 442–455.Google Scholar

Zariski, O. and Samuel, P. 1958 Commutative Algebra: Volume I. Van Nostrand, 1958. viii+329 pp. At: 67

Ziegler, M. 1984 Model theory of modules. Annals of Pure and Applied Logic , vol. 26/2 (1984), pp. 149–213. At: 25, 30 Google Scholar

Zil'ber, B.I. 1974 The transcendental rank of the formulas of an ℵ1 -categorical theory. Mathematical Notes of the Academy of Sciences of the USSR , vol. 15 (1974), pp. 182–186. Russian original: pp.321–329. At: 163 Google Scholar

Zil'ber, B.I. 1974a The theory of a free abelian group is stable (Russian). Algebra i Logika , vol. 13 (1974), pp.713.Google Scholar

Zil'ber, B.I. 1977 The structure of models of categorical theories and the problem of axiomatizability (in Russian). VINITI, Dep No. 2800–77, 1977. 80 pp.Google Scholar

Zil'ber, B.I. 1977a Groups and rings, the theory of which is categorical (Russian. English summary). Fundamenta Mathematicae , vol. 95 (1977), pp. 173–188.Google Scholar

Zil'ber, B.I. 1980 Totally categorical theories, structural properties and the non-finite axiomatisability. In: Proceedings of the Conference on Model Theory of Algebra and Arithmetic, Karpacz, Poland, 1979 , ed. by Pacholski, L., Wierzejewski, J. and Wilkie, A.J. Springer-Verlag, Berlin, 1980. pp. 381–410. LNM 834.

Zil'ber, B.I. 1980a Strongly minimal countably categorical theories. Siberian Journal of Mathematics , vol. 21 (1980), pp. 219–230. Russian original: pp.98–112. At: 184 Google Scholar

Zil'ber, B.I. 1980b On the problem of finite axiomatizability for theories categorical in all infinite powers. In: Theory of Models and its Applications , ed. by Baizanov, B. Kazakhskii Gosudarstvennyi Universitet, 1980. pp. 47–60. At: 45, 126, 184

Zil'ber, B.I. 1981 On the problem of finite axiomatizability for theories categori cal in all infinite powers. In: Researches in theoretical pro gramming , ed. by Baizanov, B. Kazakhskii Gosudarstvennyi Universitet, 1981. pp. 69–75.

Zil'ber, B.I. 1981a Totally categorical structures and combinatorial geometries. (English translation). Doklady Akademii Nauk SSSR (1981), pp. 149–151. Russian original: pp. 1039–41. At: 45, 181, 184 Google Scholar

Zil'ber, B.I. 1983 The structure of models of uncountably categorical theories. In: ICM 82 Proceedings , Warsaw. 1983.

Zil'ber, B.I. 1983a Structural problems of models of ℵ 1 -categorical theories. In: Proceedings of the ICLMPS , Salzburg, 1983. 1983.

Zil'ber, B.I. 1984 Strongly minimal countably categorical theories II. Siberian Journal of Mathematics , vol. 25 (1984), pp. 396–412. Russian original: pp.71–88. At: 184 Google Scholar

Zil'ber, B.I. 1984a Strongly minimal countably categorical theories III. Siberian Journal of Mathematics , vol. 25 (1984), pp. 559–572. Russian original: pp.63–77. At: 184 Google Scholar