5 found
Order:
  1.  13
    On Dp-Minimality, Strong Dependence and Weight.Alf Onshuus & Alexander Usvyatsov - 2011 - Journal of Symbolic Logic 76 (3):737 - 758.
    We study dp-minimal and strongly dependent theories and investigate connections between these notions and weight.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  2.  18
    On Generically Stable Types in Dependent Theories.Alexander Usvyatsov - 2009 - Journal of Symbolic Logic 74 (1):216-250.
    We develop the theory of generically stable types, independence relation based on nonforking and stable weight in the context of dependent theories.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  3.  9
    More on SOP 1 and SOP 2.Saharon Shelah & Alexander Usvyatsov - 2008 - Annals of Pure and Applied Logic 155 (1):16-31.
    This paper continues the work in [S. Shelah, Towards classifying unstable theories, Annals of Pure and Applied Logic 80 229–255] and [M. Džamonja, S. Shelah, On left triangle, open*-maximality, Annals of Pure and Applied Logic 125 119–158]. We present a rank function for NSOP1 theories and give an example of a theory which is NSOP1 but not simple. We also investigate the connection between maximality in the ordering left triangle, open* among complete first order theories and the SOP2 property. We (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  4.  20
    Stable Domination and Weight.Alf Onshuus & Alexander Usvyatsov - 2011 - Annals of Pure and Applied Logic 162 (7):544-560.
    We develop the theory of domination by stable types and stable weight in an arbitrary theory.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  12
    Strict Independence.Itay Kaplan & Alexander Usvyatsov - 2014 - Journal of Mathematical Logic 14 (2):1450008.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark