Unification theorems in algebraic geometry

By E. Daniyarova, Alexei G. Myasnikov, Vladimir Nikanorovich Remeslennikov. 2008

95 citations recorded by the source corpus.

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.

Subfields: Computational Mechanics, Computational Theory and Mathematics, Geometry and Topology

View Paper: https://www.semanticscholar.org/paper/24b0ac6a67adde4fd39c4833a35fc357106af733