Abstract not found

Abstract not found

Abstract. The paper is essentially a continuation of [PZ], whose main notion is that of logic-geometrical equivalence of algebras (LG-equivalence of algebras). This equivalence of algebras is stronger than elementary equivalence. In the paper we introduce the notion of isotyped algebras and relate it to LG-equivalence. We show that these notions coincide. The idea of the type is one of the central ideas in Model Theory. The correspondence introduced in the paper stimulates a bunch of problems which connect universal algebraic geometry and Model Theory. We provide a new general view on the subject, arising ”on the territory ” of universal algebraic geometry. This insight yields also applications of algebraic logic in Model Theory. Application of algebraic logic in Model theory makes some approaches more transparent. CONTENT