Did you mean: Hertwig, Bernhardt
  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.  6
    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