Switch to: Citations

Add references

You must login to add references.
  1. Forking and dividing in NTP₂ theories.Artem Chernikov & Itay Kaplan - 2012 - Journal of Symbolic Logic 77 (1):1-20.
    We prove that in theories without the tree property of the second kind (which include dependent and simple theories) forking and dividing over models are the same, and in fact over any extension base. As an application we show that dependence is equivalent to bounded non-forking assuming NTP 2.
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • Hyperimaginaries and Automorphism Groups.D. Lascar & A. Pillay - 2001 - Journal of Symbolic Logic 66 (1):127-143.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Topological dynamics of definable group actions.Ludomir Newelski - 2009 - Journal of Symbolic Logic 74 (1):50-72.
    We interpret the basic notions of topological dynamics in the model-theoretic setting, relating them to generic types of definable group actions and their generalizations.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • The Lascar groups and the first homology groups in model theory.Jan Dobrowolski, Byunghan Kim & Junguk Lee - 2017 - Annals of Pure and Applied Logic 168 (12):2129-2151.
    Download  
     
    Export citation  
     
    Bookmark   5 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