Switch to: Citations

Add references

You must login to add references.
  1. The notion of independence in categories of algebraic structures, part I: Basic properties.Gabriel Srour - 1988 - Annals of Pure and Applied Logic 38 (2):185-213.
    We define a formula φ in a first-order language L , to be an equation in a category of L -structures K if for any H in K , and set p = {φ;i ϵI, a i ϵ H} there is a finite set I 0 ⊂ I such that for any f : H → F in K , ▪. We say that an elementary first-order theory T which has the amalgamation property over substructures is equational if every quantifier-free (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • The independence relation in separably closed fields.G. Srour - 1986 - Journal of Symbolic Logic 51 (3):715-725.
    We give an alternative proof of the stability of separably closed fields of fixed Éršov invariant to the one given in [W]. We show that in case the Éršov invariant is finite, the theory is in fact equational. We also characterize the independence relation in those theories.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • The notion of independence in categories of algebraic structures, part II: S-minimal extensions.Gabriel Srour - 1988 - Annals of Pure and Applied Logic 39 (1):55-73.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • The notion of independence in categories of algebraic structures, Part I: Basic properties.M. Srour - 1988 - Annals of Pure and Applied Logic 38 (2):185.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Une théorie de galois imaginaire.Bruno Poizat - 1983 - Journal of Symbolic Logic 48 (4):1151-1170.
    Download  
     
    Export citation  
     
    Bookmark   17 citations