Publications in Logic


John T. Baldwin

  1. On strongly minimal sets, (with A. H. Lachlan), J. SymbolicLogic 36 (1971), 79-96.

  2. Alpha T is finite for aleph-one categorical T, Trans.Amer. Math. Soc. 181 (1973), 37-51.

  3. Almost strongly minimal theories I, J. Symbolic Logic 37(1972), 481-493.

  4. Almost strongly minimal theories II, J. Symbolic Logic 37(1972), 657-660.

  5. The number of automorphisms of a model of an aleph-onecategorical theory, Fund. Math., (1) 83 (1973), 1-6.

  6. On universal Horn theories categorical in some infinitepower, (with A. H. Lachlan), Algebra Universalis (fasc. 1) 3 (1973),98-111.

  7. A sufficient condition for a variety to have the amalgamationproperty, Colloq. Math. (fasc. 2) XXVIII (1973), 81-83.

  8. A "natural" theory without a prime model, (with A. Blass,D.W. Kueker and A.M.W. Glass), Algebra Universalis (fasc. 2)3 (1973), 152-155.

  9. A topology for the space of countable models of a first ordertheory, (with J. M. Plotkin), Z. Math. Logik Grundlag.Math. 20 (1974) 173-178.

  10. Atomic compactness and aleph-one categorical Horntheories, Fund. Math. LXXXII (1975), 7-9.

  11. Conservative extensions and the two cardinal theoremfor stable theories, Fund. Math. LXXXVIII (1975), 7-9.

  12. An axiomatic approach to rank in model theory, (withA. Blass), Annals of Math. Logic 7 (1974), 295-324.

  13. The number of subdirectly irreducible algebras in avariety, (with J. Berman), Algebra Universalis 5 (1975), 379-389.

  14. Varieties and finite closure conditions, Colloq. Math. XXXV(1976), 15-20.

  15. Aleph-zero Categoricity and stability of rings, (withB. Rose), J. Algebra 45 (1977), 1-17.

  16. Logical stability in group theory, (with J. Saxl),J. Austral. Math. Soc., Ser. A. XXI (1976), 267-276.

  17. A model theoretic approach to Malcev conditions, (with J. Berman),J. Symbolic Logic 42 (1977), 277-288.

  18. Some EC-sigma classes of rings, Z. Math Logik Grundlag.Math. 24 (1978), 489-492.

  19. Stability theory and algebra, J. Symbolic Logic,44 (1979), 599-608.

  20. Review of "Beginning Model Theory" by Jane Bridge,J. Symbolic Logic 44 (1979), 283.

  21. Review of "Classification Theory and the Number of Non-isomorphicModels" by S. Shelah, Bull. Amer. Math. Soc. (new series) 4(1981), 222.

  22. The number of subdirectly irreducible algebras in avariety II, Algebra Universalis 11 (1980), 1-6.

  23. Ramsey quantifiers and the finite cover property, (withD.W. Kueker), Pacific J. Math. 90 (1980), 11-19.

  24. Definability and the hierarchy of stable theories, Proc.of Logic Conf. at Storrs, 1980, ed. M. Lerman andJ. Schmerl, Springer-Verlag, pp. 1-15.

  25. Algebraically prime models, (with D.W. Kueker), Ann. ofMath. Logic 20 (1981), 289-330.

  26. Review of "Model Theory and Algebra" by A. Robinson,J. Symbolic Logic 47 (1982), 197-203.

  27. Elementary classes of varieties, (with J. Berman), HoustonJ. Math. 7 (1981), 473-492.

  28. Review of "Aspects of Effective Algebra," Proc. of aConf. at Monash Univ., Australia, August 1-4, 1979,John N. Crossley, ed., Upside Down A Book Company, Steel's Creek(1981). Recursive Function Theory Newsletter.

  29. Some contributions to definability theory for languages withgeneralized quantifiers, (with Douglas Miller), J. Symbolic Logic,43 (1982), 572-586.

  30. Recursion theory and abstract dependence, Proc. LogicConf. at Patras, 1980, ed. G. Metakides, North Holland 1982, pp. 67-77.

  31. Definable principal congruence relations: kith and kin, (withJ. Berman), Acta Sci. Math. (Szeged) 44 (1982), 255-270.

  32. Counting models in universal Horn classes, (with R. McKenzie),Algebra Universalis 15 (1982), 359-384.

  33. A combinatorial fact about free algebras (with J. Berman,W. Hodges and A.M.W. Glass), Algebra Universalis 15 (1982), 145-152.

  34. Strongly saturated models and the foundations of stabilitytheory, Logic Colloquium, 82, edited by Lolli, Longo and Marjca, NorthHolland, 1982, pp. 71-85.

  35. A note on model complete universal Horn classes, (with S. Givant),Algebra Universalis 17 (1983), 100-119.

  36. The structure of saturated free algebras, (with S. Shelah),Algebra Universalis 17 (1983), 191-197.

  37. First order theories of abstract dependence relations,Ann. Pure Appl. Logic, 26 (1984), 215-243.

  38. "Definable second order quantifiers," Chapter in Model TheoreticLogics, edited by Barwise and Feferman, Springer-Verlag (1985),pp. 445-478.

  39. Second order quantifiers and the complexity of theories,(with S. Shelah), Notre Dame J. Formal Logic 26 (1985), 229-303.

  40. Trivial Pursuit: Remarks on the main gap, (with L. Harrington),Proc. of Trento 1984 Meeting, Ann. Pure Appl. Logic 34 (1987), 209-230.

  41. On the definability of P&'sub(s)(A), (with M. Samhan), AlgebraUniversalis 23 (1986), 254-261.

  42. Concrete representations of lattices and the fundamental order,(with J. Berman), Proceedings of U.S.-Israel Binational Workshop onModel Theory in Mathematical Logic, Lecture Notes in Math. 1292,pp. 24-31.

  43. Classification theory: 1985, Introduction to Proceedings ofU.S.-Israel Binational Workshop on Model Theory in Mathematical Logic,Lecture Notes in Math. 1291, pp. 1-23.

  44. Classification theory: Chicago 1985, Proceedings of the U.S.-IsraelBinational Workshop on Model Theory in Mathematical Logic, Edited byJohn T. Baldwin, Springer Verlag 1987, 500 pages.

  45. Exercises on local weight, (with Charles Steinhorn), in Proceedingsof the U.S.-Israel Binational Workshop on Model Theory in MathematicalLogic, Edited by John T. Baldwin, Springer Verlag, 1987, pp. 127-131.

  46. Fundamentals of Stability Theory, Springer-Verlag, 1988, XIII+ 447 pages.

  47. Categoricity and generalized model completeness, (withG. Ahlbrandt), Z. Math. Logik Grundlag. Math. (1988), 1-4.

  48. Some notes on stable groups, The Model Theory of Groups,Notre Dame Mathematical Lecture Notes #11, edited by Nesin and Pillay,(1989) 100-116.

  49. Diverse classes, J. Symbolic Logic 54 (1989), 875-893.

  50. Superstable semisimple groups, (with A. Pillay), Ann. Pure Appl.Logic 45 (1989), 105-127.

  51. The primal framework, (with S. Shelah), Ann. Pure Appl. Logic,46 (1990), 235-264.

  52. The spectrum of resplendency, J. Symbolic Logic, 55 (1990),626-636.

  53. Stability theory (in logic) English versionof Soviet Encyclopedia of Mathematics 1990 468-469.

  54. The primal framework II: Smoothness, (with S. Shelah),Annals of Pure and Applied Logic, 55 (1991), 1-34.

  55. Forcing Isomorphism (with C. Laskowski, S. Shelah),Journal of Symbolic Logic, 58 (1993), pp. 1291-1302.

  56. Problems on 'Pathological Structures,' Proceedingsof 10th Easter Model Theory Conference, Wendisch Rietz, April 12-17,1993 pp 1-9.

  57. K-generic projective planes have Morley rank two or infinity(with M. Itai), Math. Logic Quarterly 40 (1994) pp. 143-152.

  58. An almost strongly minimal non-Desarguesian projective plane,Transactions Amer. Math. Soc. 342(1994) 695-711

  59. Abstract classes with few models have "homogeneous universal"models, (with S. Shelah), JSL,60(1995) 246-266.

  60. Some Projective Planes of Lenz-Barlotti Class I,PAMS, 123 (1995), 251-256

  61. Review of "Model Theory" by W. Hodges, Bulletin, A.M.S. 32(1995) 280-285.

  62. Review of "Uncountably Categorical Structures" by B. ZilberMath. Reviews 94H 4296-4297

  63. Stable generic structures (with N. Shi), Annals of Pure andApplied Logic, 79(1996) 1-35.

  64. Randomness and Semigenericity (with S. Shelah) Transactions AMS,349(1997) 1359-1376.

  65. FCP and DOP in Generic Structure (with S. Shelah) (15 tex pages)to appear: Journal of Symbolic Logic

  66. Near Model Completeness and 0-1 laws, Dimacs Series in Discrete Mathematics and Theoretical Computer Science, 33(1997) 1-13.

  67. Embedded Finite Models, Stability Theory, and the Impact of Order (with Michael Benedikt), Proceedings of 13th annual IEEE Symposium on Logic in Computer Science, 1998, 490-500.

  68. Transferring Saturation, FCP, and stability (with Saharon Shelah and Rami Grossberg) (11 pages) (to appear JSL)

  69. $\delta$-invariant amalgamation classes (with Roman Aref''ev and Marco Mazzucco) (to appear: JSL)

    Submitted

  70. Classification of Cellular Automata (with Saharon Shelah) (15 pages)

  71. Stability theory, Permutations of Indiscernibles, and Embedded Finite Models (with Michael Benedikt) (35 pages).

  72. Random expansions of geometries (22 pages)

  73. Constructing omega-stable structures: rank 2 fields (with Kitty Holland) (23 pages).

  74. Stability, the finite cover property and 0-1 laws (5 pages).


Technical Reports


  • Lectures on stable groups, 34 TeX pages.
    Updated 8/1/96