Switch to: Citations

Add references

You must login to add references.
  1. Cylindric algebras.Leon Henkin - 1971 - Amsterdam,: North-Holland Pub. Co.. Edited by J. Donald Monk & Alfred Tarski.
    Volume I provides a detailed analysis of cylindric algebras, starting with a formulation of their axioms and a development of their elementary properties, and proceeding to a deeper study of their interrelationships by means of general algebraic notions such as subalgebras, homomorphisms, direct products, free algebras, reducts and relativized algebras.
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • La structure algébraique des theories mathematiques.Leon Henkin - 1956 - E. Nauwelaerts.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Every quotient algebra for $C_1$ is trivial.Chris Mortensen - 1980 - Notre Dame Journal of Formal Logic 21 (4):694-700.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Mathematical Logic in Latin America: Proceedings of the IV Latin American Symposium on Mathematical Logic Held in Santiago, December 1978.Ayda I. Arruda, R. Chuaqui & Newton C. A. Costa (eds.) - 1980 - New York: sole distributors for the U.S.A. and Canada, Elsevier North-Holland.
    (or not oveA-complete.) . Let * be a unary operator defined on the set F of formulas of the language £ (ie, if A is a formula of £, then *A is also a ...
    Download  
     
    Export citation  
     
    Bookmark   15 citations