Order:
  1. Weight ω in stable theories with few types.Bernhard Herwig - 1995 - Journal of Symbolic Logic 60 (2):353-373.
    We construct a type p with preweight ω with respect to itself in a theory with few types. A type with this property must be present in a stable theory with finitely many (but more than one) countable models. The construction is a modification of Hrushovski's important pseudoplane construction.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  2.  14
    Stable theories without dense forking chains.Bernhard Herwig, James G. Loveys, Anand Pillay, Predag Tanović & O. Wagner - 1992 - Archive for Mathematical Logic 31 (5):297-303.
    We define a generalized notion of rank for stable theories without dense forking chains, and use it to derive that every type is domination-equivalent to a finite product of regular types. We apply this to show that in a small theory admitting finite coding, no realisation of a nonforking extension of some strong type can be algebraic over some realisation of a forking extension.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations