Switch to: Citations

Add references

You must login to add references.
  1. (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  
  • (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  
  • A classification of 2-chains having 1-shell boundaries in rosy theories.Byunghan Kim, Sunyoung Kim & Junguk Lee - 2015 - Journal of Symbolic Logic 80 (1):322-340.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Homology groups of types in stable theories and the Hurewicz correspondence.John Goodrick, Byunghan Kim & Alexei Kolesnikov - 2017 - Annals of Pure and Applied Logic 168 (9):1710-1728.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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  
  • Galois groups of first order theories.E. Casanovas, D. Lascar, A. Pillay & M. Ziegler - 2001 - Journal of Mathematical Logic 1 (02):305-319.
    We study the groups Gal L and Gal KP, and the associated equivalence relations EL and EKP, attached to a first order theory T. An example is given where EL≠ EKP. It is proved that EKP is the composition of EL and the closure of EL. Other examples are given showing this is best possible.
    Download  
     
    Export citation  
     
    Bookmark   23 citations