Skip to main content Accessibility help

We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.

Close cookie message
×
  1. Home
  2. Books
  3. Fundamentals of Stability Theory
  • Cited by 2
Publisher:
Cambridge University Press
Online publication date:
March 2017
Print publication year:
2017
Online ISBN:
9781316717035
DOI:
https://doi.org/10.1017/9781316717035
Subjects:
Mathematics, Logic, Categories and Sets, Algebra, Programming Languages and Applied Logic
Series:
Perspectives in Logic (12)
Information

Book description

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the twelfth publication in the Perspectives in Logic series, John T. Baldwin presents an introduction to first order stability theory, organized around the spectrum problem: calculate the number of models a first order theory T has in each uncountable cardinal. The author first lays the groundwork and then moves on to three sections: independence, dependence and prime models, and local dimension theory. The final section returns to the spectrum problem, presenting complete proofs of the Vaught conjecture for ω-stable theories for the first time in book form. The book provides much-needed examples, and emphasizes the connections between abstract stability theory and module theory.

Refine List

Actions for selected content:

Select all | Deselect all
  • View selected items
  • Export citations
  • Download PDF (zip)
  • Save to Kindle
  • Save to Dropbox
  • Save to Google Drive

Save Search

You can save your searches here and later view and run them again in "My saved searches".

Please provide a title, maximum of 40 characters.
Cancel
×

Contents

Contents
References
Bibliography
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.
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
Andler, D. 1975 Semi-minimal theories and categoricity. The Journal of Symbolic Logic , vol. 40 (1975), pp. 419–438.
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.
Ash, C.J. and Rosenthal, J. 1986 Intersections of algebraically closed fields. Annals of Pure and Applied Logic , vol. 30 (1986), pp. 103–121.
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
Baldwin, J.T. 1972a Almost strongly minimal theories II. The Journal of Symbolic Logic , vol. 37 (1972), pp. 657–660.
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
Baldwin, J.T. 1973a The number of automorphisms of models of ℵ1 -categorical theories. Fundamenta Mathematicae , vol. 83 (1973), pp. 1–6.
Baldwin, J.T. 1974 Atomic compactness in ℵ1 -categorical Horn theories. Fundamenta Mathematicae , vol. 83 (1974), pp. 263–268.
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
Baldwin, J.T. 1979 Stability theory and algebra. The Journal of Symbolic Logic , vol. 44 (1979), pp. 599–608.
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
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
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
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.
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
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
Baldwin, J.T. and Kueker, D.W. 1981 Algebraically prime models. Annals of Mathematical Logic , vol. 20 (1981), pp.289–330. At: 192
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
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
Baldwin, J.T. and McKenzie, R. 1982 Counting models in universal Horn classes. Algebra Universalis , vol. 15 (1982), pp. 359–384. At: 94
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
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
Baldwin, J.T. and Shelah, S. 1983 The structure of saturated free algebras. Algebra Universalis , vol. 17 (1983), pp. 191–197.
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
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.
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.
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.
Baudisch, A. 1986 On elementary properties of free Lie algebras. Annals of Pure and Applied Logic , vol. 30 (1986), pp. 121–136.
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
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
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.
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.
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.
Belegradek, O.V. 1973 Almost categorical theories. Siberian Mathematical Journal , vol. 14 (1973), pp. 191–198.
Belegradek, O.V. 1974 Algebraically closed groups (Russian). Algebra i Logika , vol. 13 (1974), pp. 239–255,363.
Belegradek, O.V. 1978 On nonstable group theories (Russian). Izvestiya Vysshikh Uchebnykh Zavedenij. Matematika , vol. 8(195) (1978), pp. 41–44.
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.
Benda, M. 1974 Remarks on countable models. Fundamenta Mathematicae , vol. 81 (1974), pp. 107–119.
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.
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
Berthier, D. 1975 Stability of non-model-complete theories; products, groups. The Journal of the London Mathematical Society , vol. 11 (1975), pp. 453–464.
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
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
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
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.
Buechler, S. 1984 Geometry of weakly minimal types. Journal of Symbolic Logic , vol. 50 (1984), pp. 1044–1054. At: 183
Buechler, S. 1984a Kueker's conjecture for superstable theories. Journal of Symbolic Logic , vol. 49/3 (1984), pp. 930–934. At: 252, 811
Buechler, S. 1984b Recursive definability and resplendency in ω-stable theories. Israel Journal of Mathematics , vol. 49 (1984), pp. 26–34. At: 226
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.
Buechler, S. 1985a One theorem of Zil'ber's on strongly minimal sets. Journal of Symbolic Logic , vol. 50 (1985), pp. 1054–1062.
Buechler, S. 1985b Invariants for ω-categorical, ω-stable theories. Israel Journal of Mathematics , vol. 52 (1985), pp. 65–81. At: 183, 184, S98
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
Buechler, S. 1986a Maximal chains in the fundamental order. Journal of Symbolic Logic , vol. 51 (1986), pp. 323–326.
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
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
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
Cherlin, G. and Lachlan, A.H. 1986 Stable finitely homogeneous structures. Transactions of American Mathematical Society , vol. 296 (1986), pp. 815–850. At: 184
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
Cherlin, G.L. and Rosenstein, J.G. 1978 On ℵ 0 -categorical abelian by finite groups. Journal of Algebra , vol. 53 (1978), pp. 188–226.
Cherlin, G.L. and Shelah, S. 1980 Superstable fields and groups. Annals of Mathematical Logic , vol. 18 (1980), pp. 227–270. At: 169
Chikhachev, S.A. 1977 ℵ 1 -categorical commutative rings. Siberian Journal of Mathematics , vol. 18 (1977), pp. 644–649. Russian original: pp.908- 914.
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).
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.
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.
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.
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.
Ehrenfeucht, A. 1957 On theories categorical in power. Fundamenta Mathematicae , vol. 44 (1957), pp. 241–248.
Ehrenfeucht, A. and Mostowski, A.W. 1956 Models of axiomatic theories admitting automorphisms. Fundamenta Mathematicae , vol. 43 (1956), pp. 50–68. At: 24, 126
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
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
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.
Erimbetov, M.M. 1975 Complete theories with 1-cardinal formulas (Russian). Algebra i Logika , vol. 14 (1975), pp. 245–257,368.
Erimbetov, M.M. 1981 A property of countable stable theories. Sibirskij Matematicheskij ZhurnalAkademiya Nauk SSSR. Sibirskoe Otdelenie , vol. 22 (1981), pp. 81–86,229.
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.
Feigner, U. 1975 ℵ1 -kategorische Theorien Nicht-kommutativer Ringe. Fundamenta Mathematicae , vol. 82 (1975), pp. 331–346. At: 98
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.
Feigner, U. 1980 Kategorizität. Jahresbericht der Deutschen Mathematiker-Vereinigung , vol. 82 (1980), pp. 12–32.
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.
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.
Fuhrken, G. 1966 Minimal- und Primmodelle. Archiv für Mathematische Logik und Grundlagenforschung , vol. 9 (1966), pp. 3–11.
Garavaglia, S. 1979 Direct product decomposition of theories of modules. The Journal of Symbolic Logic , vol. 44 (1979), pp. 77–88. At: 30:
Garavaglia, S. 1980 Decomposition of totally transcendental modules. The Journal of Symbolic Logic , vol. 45 (1980), pp. 155–164. At: 30.
Garavaglia, S. 1981 Forking in modules. Notre Dame Journal of Formal Logic , vol. 22 (1981), pp. 155–162.
Givant, S. 1978 Universal Horn classes categorical or free in power. Annals of Mathematical Logic , vol. 15 (1978), pp. 1–53. At: 45, 184
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
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.
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).
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.
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.
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
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
Harnik, V. 1985 Stability theory and set existence axioms. Journal of Symbolic Logic , vol. 50 (1985), pp. 123–137. At: 79
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
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
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
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.
Herre, H., Mekler, A.H. and Smith, K. 1983 Superstable Graphs. Fundamenta Mathematicae , vol. 118 (1983), pp. 75–79.
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
Hodges, W. 1983 On constructing many non-isomorphic algebras. In: Proceeding “25. Arbeitstagung über Allgemeine Algebra Darmstadt 1983. 1983. pp. 67–77. At: 31
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.
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.
Jonsson, B. 1960 Homogeneous universal relational systems. Mathematica Scandinavica , vol. 8 (1960), pp. 137–142.
Keisler, H.J. 1966 Some model theoretic results for ω-logic. Israel Journal of Mathematics , vol. 4 (1966), pp. 249–261.
Keisler, H.J. 1967 Ultraproducts which are not saturated. The Journal of Symbolic Logic , vol. 32 (1967), pp. 23–46. At: 25
Keisler, H.J. 1971 On theories categorical in their own power. The Journal of Symbolic Logic , vol. 36 (1971), pp. 240–243.
Keisler, H.J. 1976 Six classes of theories. Journal of the Australian Mathematical Society , vol. 21 (1976), pp. 257–266. At: 89
Keisler, H.J. 1978 The stability function of a theory. The Journal of Symbolic Logic , vol. 43 (1978), pp. 481–486. At: 89
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.
Kierstead, H.A. 1980 Countable models of ω 1 -categorical theories in admissible languages. Annals of Mathematical Logic , vol. 19 (1980), pp. 127–175.
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
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.
Knight, J.F. 1978a Prime and atomic models. The Journal of Symbolic Logic , vol. 43 (1978), pp. 385–393.
Knight, J.F. 1981 Algebraic independence. Journal of Symbolic Logic , vol. 46 (1981), pp. 377–384.
Knight, J.F. 1986 Saturation of homogeneous respendent models. Journal of Symbolic Logic , vol. 51 (1986), pp. 222–224.
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.
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.
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.
Lachlan, A.H. 1972 A property of stable theories. Fundamenta Mathematicae , vol. 77 (1972), pp. 9–20. At: 212
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
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
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.
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
Lachlan, A.H. 1978 Skolem functions and elementary extensions. Proceedings of London Mathematical Society , vol. 18 (1978), pp. 1–6.
Lachlan, A.H. 1980 Singular properties of Morley rank. Fundamenta Mathematicae , vol. 108 (1980), pp. 145–157. At: 162, 163, 176
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
Lachlan, A.H. 1986 Binary homogeneous structures I. Proceedings of London Mathematical Society , vol. 52 (1986), pp. 385–411. At: 182
Lachlan, A.H. 1986a Binary homogeneous structures II. Proceedings of London Mathematical Society , vol. 52 (1986), pp. 412–426.
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
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
Lascar, D. 1975 Définissabilité dans les théories stables. Logique et Analyse. Nouvelle Serie , vol. 18 (1975), pp. 489–507.
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.
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
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.
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
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.
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
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
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
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
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
Loveys, J. 1984 The uniqueness of envelopes in ℵ 0 -categorical, ℵ 0 -stable structures. Journal of Symbolic Logic , vol. 49 (1984), pp. 1171–1184.
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
Macintyre, A. 1971 On ω 1 -categorical theories of fields. Fundamenta Mathematicae , vol. 71 (1971), pp. 1–25. At: 169
Macintyre, A. and Shelah, S. 1976 Uncountable universal locally finite groups. Journal of Algebra , vol. 43 (1976), pp. 168–175.
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
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.
Makowsky, J.A. 1974 On some conjectures connected with complete sentences. Fundamenta Mathematicae , vol. 81 (1974), pp. 193–202.
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.
Marcus, L. 1972 A minimal prime model with an infinite set of indiscernibles. Israel Journal of Mathematics , vol. 11 (1972), pp. 180–183.
Marcus, L. 1975 A type-open minimal model. Archiv für Mathematisches Logic und Grundlagenforschung , vol. 15 (1975), pp. 17–24.
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
Marczewski, E. 1966 Independence in abstract algebras. Results and problems. Colloquium Mathematica , vol. 14 (1966), pp. 169–188. At: 45
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.
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.
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.
Mekler, A.H. 1983 Model complete theories with a distinguished substructure. Proceedings American Mathematical Society , vol. 75 (1983), pp. 294–299.
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
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.
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
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.
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
Morley, M. and Vaught, R.L. 1962 Homogeneous universal models. Mathematica Scandinavica , vol. 11 (1962), pp. 37–57.
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.
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.
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.
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.
Mustafin, T.G. 1981a Principles of normalization of formulas. Sibirskij Matem-aticheskij ZhurnalAkademiya Nauk SSSR. Sibirskoe Otdelenie , vol. 22 (1981), pp. 158–169,237.
Mustafin, T.G. 1981b Rank functions in stable theories. Siberian Mathematical Journal , vol. 21 (1981), pp. 815–824.
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.
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.
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.
Narkiewicz, W. 1964 On a cerain class of abstract algebras. Fundamenta Mathematicae , vol. 54 (1964), pp. 115–124. At: 45
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
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.
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.
Paljutin, E.A. 1971 Models with countable-categorical universal theories. Algebra and Logic , vol. 10 (1971), pp. 15–21.
Paljutin, E.A. 1971a N*-homogeneous models (Russian). Sibirskij Matematicheskij ZhurnalAkademiya Nauk SSSR. Sibirskoe Otdelenie , vol. 12 (1971), pp. 920–921.
Paljutin, E.A. 1980 Categorical Horn classes I (Russian). Algebra i Logika , vol. 19 (1980), pp. 582–614,617.
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
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
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.
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.
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.
Pillay, A. 1978 Number of countable models. The Journal of Symbolic Logic , vol. 43 (1978), pp. 492–496.
Pillay, A. 1980 Instability and theories with few models. Proceedings of the American Mathematical Society , vol. 80 (1980), pp. 461–468.
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.
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.
Pillay, A. 1981b Finitely generated models of ω-stable theories. Bulletin de la Société Mathénatique de Belgique , vol. 33 (1981), pp. 83–91.
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
Pillay, A. 1982a Weakly homogeneous models. Proceedings of the American Mathematical Society , vol. 86 (1982), pp. 126–132. At: 315
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
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.
Pillay, A. 1983c A note on tight stable theories. Archiv für Mathematische Logik und Grundlagenforschung , vol. 23 (1983), pp. 147–152.
Pillay, A. 1983d ℵ 0 -categoricity over a predicate. Notre Dame Journal of Formal Logic , vol. 24 (1983), pp. 527–536.
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
Pillay, A. 1984a Countable modules. Fundamenta Mathematicae , vol. 121 (1984), pp. 125–132.
Pillay, A. 1986 Superstable groups of finite rank without pseudoplanes. Annals of Pure and Applied Logic , vol. 30 (1986), pp. 95–101. At: 184
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.
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.
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
Pillay, A. and Steinhorn, C. 1984 Definable sets in ordered structures. Bulletin of the American Mathematical Society , vol. 11 (1984), pp. 159–161.
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
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.
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.
Podewski, K.-P. and Ziegler, M. 1978 Stable graphs. Fundamenta Mathematicae , vol. 100 (1978), pp. 101–107.
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
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
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.
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
Poizat, B. 1983a Une théorie de Galois imaginaire. Journal of Symbolic Logic , vol. 48 (1983), pp. 1151–1171. At: 176
Poizat, B. 1983b Post-scriptum à “Theories instables”. Journal of Symbolic Logic , vol. 48/1 (1983), pp. 60–62.
Poizat, B. 1983c Groupes stables avec types generiques reguliers. Journal of Symbolic Logic (1983), pp. 339–355.
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
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
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.
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
Reyes, G.E. 1970 Local definability theory. Annals of Mathematical Logic , vol. 1 (1970), pp. 95–137.
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.
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.
Rose, B.I. 1980 On the model theory of finite dimensional algebras. Proceedings of London Mathematical Society , vol. 40 (1980), pp. 21–39.
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.
Rosenstein, J.G. 1971 A note on a theorem of Vaught. The Journal of Symbolic Logic , vol. 36 (1971), pp. 439–440.
Rosentha, J.W. 1972 A new proof of a theorem of Shelah. The Journal of Symbolic Logic , vol. 37 (1972), pp. 133–134.
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.
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.
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.
Rothmaler, P. 1983 Some model theory of modules I. On total transcendence of modules. Journal of Symbolic Logic , vol. 48 (1983), pp. 570–574.
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.
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.
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.
Rowbottom, F. 1964 The Los conjecture for uncountable theories. Notices of the American Mathematical Society , vol. 11 (1964), pp. 248. At: 62
Rubin, M. 1974 Theories of linear order. Israel Journal of Mathematics , vol. 17 (1974), pp. 392–443. At: 7, 9, 366
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
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
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.
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.
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.
Sacks, G.E. 1979 Effective bounds on Morley rank. Fundamenta Mathematicae , vol. 103 (1979), pp. 111–121.
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
Saffe, J. 1984 Categoricity and ranks. Journal of Symbolic Logic , vol. 49 (1984), pp. 1379–1382. At: 163
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.
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
Saffe, J. 1970 Finite diagrams stable in power. Annals of Mathematical Logic , vol. 2 (1970), pp. 69–118. At: 201
Saffe, J. 1970a On theories T categorical in | T |. The Journal of Symbolic Logic , vol. 35 (1970), pp. 73–82.
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
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
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.
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
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.
Saffe, J. 1973 Differentially closed fields. Israel Journal of Mathematics , vol. 16 (1973), pp. 314–328.
Saffe, J. 1973a There are just four second-order quantifiers. Israel Journal of Mathematics , vol. 15 (1973), pp. 282–300.
Saffe, J. 1974 Remark to — “local definability theory” of Reyes. Annals of Mathematical Logic , vol. 2 (1974), pp. 441–448. At: 62
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
Saffe, J. 1975a The monadic theory of order. Annals of Mathematics , vol. 102 (1975), pp. 379–419. At: 844
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.
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
Saffe, J. 1978b On the number of minimal models. The Journal of Symbolic Logic , vol. 43 (1978), pp. 475–480.
Saffe, J. 1979 On uniqueness of prime models. The Journal of Symbolic Logic , vol. 44 (1979), pp. 215–220. At: 229
Saffe, J. 1980 Independence results. The Journal of Symbolic Logic , vol. 45 (1980), pp. 563–573. At: 31
Saffe, J. 1980a Simple unstable theories. Annals of Mathematical Logic , vol. 19 (1980), pp. 177–203. At: 33, 132, 136
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
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
Saffe, J. 1982b Better quasi-orders for uncountable cardinals. Israel Journal of Mathematics , vol. 42 (1982), pp. 177–226. At: 31
Saffe, J. 1983 Constructions of many complicated uncountable structures and Boolean algebras. Israel Journal of Mathematics , vol. 45 (1983), pp. 100–146. At: 31
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
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.
Saffe, J. 1984 On universal graphs without instances of CH. Annals of Pure and Applied Logic , vol. 26 (1984), pp. 75–87.
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
Saffe, J. 1985a Monadic logic: Lowenheim numbers. Annals of Pure and Applied Logic , vol. 28 (1985), pp. 203–216.
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.
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
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.
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
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
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.
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.
Urbanik, K. 1959/60 A representation theorem for Marczewski's algebras. Fundamenta Mathematicae , vol. 57 (1959/60), pp. 147–167. At: 45
Urbanik, K. 1965 On algebraic operations in idempotent algebras. Colloquium Mathematicum , vol. 13 (1965), pp. 129–157. At: 45
Urbanik, K. 1966 Linear independence in abstract algebras. Colloquium Math- ematica , vol. 14 (1966), pp. 233–255. At: 45
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
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.
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.
Weil, A. 1955 On algebraic groups of transformations. American Journal of Mathematics (1955), pp. 355–391.
Wheeler, W. 1980 Model theory of strictly upper triangular matrix rings. Journal of Symbolic Logic , vol. 45 (1980), pp. 205–206.
Whitney, H. 1935 On the abstract properties of linear dependence . American Journal of Mathematics , vol. 57 (1935), pp. 509–533. At: 35, 45
Wierzejewski, J. 1974 A note on stability and products . Bulletin de l'Académie Polonaise des Sciences , vol. 22 (1974), pp. 875–876.
Wierzejewski, J. 1976 On stability and products (Add & corr ibid 97*51–52) . Fundamenta Mathematicae , vol. 93 (1976), pp. 81–95.
Wierzejewski, J. 1976a Remarks on stability and saturated models . Colloquium Mathematicum , vol. 34 (1976), pp. 165–169.
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.
Wood, C. 1973 Prime model extensions of differential fields, characteristic . Notices of American Mathematical Society , vol. 20 (1973), pp. 445. At: 229
Wood, C. 1976 The model theory of differential fields revisited. Israel Journal of Mathematics , vol. 25 (1976), pp. 331–352. At: 229
Wood, C. 1979 Notes on the stability of separably closed fields. The Journal of Symbolic Logic , vol. 44 (1979), pp. 412–416. At: 229
Woodrow, R.E. 1978 Theories with a finite number of countable models. The Journal of Symbolic Logic , vol. 43 (1978), pp. 442–455.
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
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
Zil'ber, B.I. 1974a The theory of a free abelian group is stable (Russian). Algebra i Logika , vol. 13 (1974), pp.713.
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.
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.
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
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
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
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

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Book summary page views

Total views: 0 *
Loading metrics...

* Views captured on Cambridge Core between #date#. This data will be updated every 24 hours.

Usage data cannot currently be displayed.