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  
  • Fundamentals of forking.Victor Harnik & Leo Harrington - 1984 - Annals of Pure and Applied Logic 26 (3):245-286.
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • A new strongly minimal set.Ehud Hrushovski - 1993 - Annals of Pure and Applied Logic 62 (2):147-166.
    We construct a new class of 1 categorical structures, disproving Zilber's conjecture, and study some of their properties.
    Download  
     
    Export citation  
     
    Bookmark   89 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 III: equational classes.Gabriel Srour - 1990 - Annals of Pure and Applied Logic 47 (3):269-294.
    Download  
     
    Export citation  
     
    Bookmark   5 citations