Unification theorems in algebraic geometry
É. Yu. Daniyarova, Alexei Myasnikov, Vladimir Nikanorovich Remeslennikov · arXiv (Cornell University) · 2008
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.