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