12 found
Order:
  1. On strongly minimal sets.J. T. Baldwin & A. H. Lachlan - 1971 - Journal of Symbolic Logic 36 (1):79-96.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   51 citations  
  2.  35
    Second-order quantifiers and the complexity of theories.J. T. Baldwin & S. Shelah - 1985 - Notre Dame Journal of Formal Logic 26 (3):229-303.
  3.  29
    On ω 1 -Categorical Theories of Abelian Groups.Angus Macintyre, Joachim Reineke, J. T. Baldwin, Jan Saxl & Walter Baur - 1984 - Journal of Symbolic Logic 49 (1):317-321.
  4.  31
    The primal framework I.J. T. Baldwin & S. Shelah - 1990 - Annals of Pure and Applied Logic 46 (3):235-264.
  5.  44
    The primal framework II: smoothness.J. T. Baldwin & S. Shelah - 1991 - Annals of Pure and Applied Logic 55 (1):1-34.
    Let be a class of models with a notion of ‘strong’ submodel and of canonically prime model over an increasing chain. We show under appropriate set-theoretic hypotheses that if K is not smooth , then K has many models in certain cardinalities. On the other hand, if K is smooth, we show that in reasonable cardinalities K has a unique homogeneous-universal model. In this situation we introduce the notion of type and prove the equivalence of saturated with homogeneous-universal.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  6.  21
    Countable Models of ℵ 1 -Categorical Theories.Michael Morley, J. T. Baldwin & A. H. Lachlan - 1975 - Journal of Symbolic Logic 40 (4):636-637.
  7.  31
    Semisimple stable and superstable groups.J. T. Baldwin & A. Pillay - 1989 - Annals of Pure and Applied Logic 45 (2):105-127.
  8.  17
    An axiomatic approach to rank in model theory.J. T. Baldwin - 1974 - Annals of Mathematical Logic 7 (2-3):295-324.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  31
    Algebraically prime models.J. T. Baldwin - 1981 - Annals of Mathematical Logic 20 (3):289.
  10.  52
    A Topology for the Space of Countable Models of a First Order Theory.J. T. Baldwin & J. M. Plotkin - 1974 - Mathematical Logic Quarterly 20 (8-12):173-178.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  33
    (1 other version)Forcing isomorphism.J. T. Baldwin, M. C. Laskowski & S. Shelah - 1993 - Journal of Symbolic Logic 58 (4):1291-1301.
  12.  17
    Classification Theory: Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic Held in Chicago, Dec. 15-19, 1985.J. T. Baldwin & U. Workshop on Model Theory in Mathematical Logic - 1987 - Springer.
    Direct download  
     
    Export citation  
     
    Bookmark