Unification theorems in algebraic geometry

2008/08/19 by E. Daniyarova, Daniyarova, E., A. Myasnikov +3 · 1 citation
Mathematics · #03C60 #70G55 #Algebraic Geometry (math.AG) #FOS: Mathematics #Logic (math.LO) #math.AG #math.LO #msc:03C60 #msc:70G55

paper · pdf · doi:10.48550/arxiv.0808.2522

28 pages

arxiv created 2008/08/19 · arxiv updated 2009/12/01

Abstract

In this paper, for a given finitely generated algebra (an algebraic structure with arbitrary operations and no predicates) A we study finitely generated limit algebras of A, approaching them via model theory and algebraic geometry. Along the way we lay down foundations of algebraic geometry over arbitrary algebraic structures.

Cited by

• Coherent Conditions: Algebraic Geometry for Arbitrary Classes of Algebras

Related

• Algebraic geometry over algebraic structures II: Foundations
• Seven Lectures on the Universal Algebraic Geometry
• Algebraic logic and logical geometry in arbitrary varieties of algebras
• Algebraic Logic, Varieties of Algebras and Algebraic Varieties
• Algebra and logic. Some problems