Switch to: Citations

Add references

You must login to add references.
  1. Characterizing Rosy Theories.Clifton Ealy & Alf Onshuus - 2007 - Journal of Symbolic Logic 72 (3):919 - 940.
    We examine several conditions, either the existence of a rank or a particular property of รพ-forking that suggest the existence of a well-behaved independence relation, and determine the consequences of each of these conditions towards the rosiness of the theory. In particular we show that the existence of an ordinal valued equivalence relation rank is a (necessary and) sufficient condition for rosiness.
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  • (1 other version)Homology groups of types in model theory and the computation of $H_2$.John Goodrick, Byunghan Kim & Alexei Kolesnikov - 2013 - Journal of Symbolic Logic 78 (4):1086-1114.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Type-amalgamation properties and polygroupoids in stable theories.John Goodrick, Byunghan Kim & Alexei Kolesnikov - 2015 - Journal of Mathematical Logic 15 (1):1550004.
    We show that in a stable first-order theory, the failure of higher dimensional type amalgamation can always be witnessed by algebraic structures that we call n-ary polygroupoids. This generalizes a result of Hrushovski in [16] that failures of 4-amalgamation are witnessed by definable groupoids. The n-ary polygroupoids are definable in a mild expansion of the language.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • (1 other version)Homology Groups of Types in Model Theory and the Computation of H 2.John Goodrick, Byunghan Kim & Alexei Kolesnikov - 2013 - Journal of Symbolic Logic 78 (4):1086-1114.
    Download  
     
    Export citation  
     
    Bookmark   5 citations