15 found
Order:
  1.  20
    On Strongly Minimal Sets.J. T. Baldwin & A. H. Lachlan - 1971 - Journal of Symbolic Logic 36 (1):79-96.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   20 citations  
  2.  4
    Second-Order Quantifiers and the Complexity of Theories.J. T. Baldwin & S. Shelah - 1985 - Notre Dame Journal of Formal Logic 26 (3):229-303.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   9 citations  
  3.  1
    The Primal Framework I.J. T. Baldwin & S. Shelah - 1990 - Annals of Pure and Applied Logic 46 (3):235-264.
  4.  1
    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.
  5. 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 (3 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  6.  15
    A Topology for the Space of Countable Models of a First Order Theory.J. T. Baldwin & J. M. Plotkin - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (8-12):173-178.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7.  10
    Semisimple Stable and Superstable Groups.J. T. Baldwin & A. Pillay - 1989 - Annals of Pure and Applied Logic 45 (2):105-127.
  8. Countable Models of ℵ 1 -Categorical Theories.Michael Morley, J. T. Baldwin & A. H. Lachlan - 1975 - Journal of Symbolic Logic 40 (4):636-637.
  9.  2
    An Axiomatic Approach to Rank in Model Theory.J. T. Baldwin & Andreas Blass - 1974 - Annals of Mathematical Logic 7 (2-3):295-324.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  10.  5
    Forcing Isomorphism.J. T. Baldwin, M. C. Laskowski & S. Shelah - 1993 - Journal of Symbolic Logic 58 (4):1291-1301.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  11. An Axiomatic Approach to Rank in Model Theory.J. T. Baldwin - 1974 - Annals of Pure and Applied Logic 7 (2):295.
     
    Export citation  
     
    My bibliography  
  12. Algebraically Prime Models.J. T. Baldwin - 1981 - Annals of Pure and Applied Logic 20 (3):289.
     
    Export citation  
     
    My bibliography  
  13. Classification Theory Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic Held in Chicago, Dec. 15-19, 1985. [REVIEW]J. T. Baldwin & U. Workshop on Model Theory in Mathematical Logic - 1987
     
    Export citation  
     
    My bibliography  
  14. Forcing Isomorphism.J. T. Baldwin, M. C. Laskowski & S. Shelah - 1994 - Journal of Symbolic Logic 59 (4):1291-1301.
     
    Export citation  
     
    My bibliography  
  15. Upward Categoricity of Very Tame Abstract Elementary Classes with Amalgamation.J. T. Baldwin & O. Lessmann - 2006 - Annals of Pure and Applied Logic 143:29-42.
     
    Export citation  
     
    My bibliography