ABSTRACT

One source of motivation to investigate finite dimensional algebras in a model theoretic setting is the link to algebraic geometry provided by quantifier elimination for algebraically closed fields. In this way axiomatizability results for finite dimensional algebras translate into geometrical statements on the corresponding ‘subvarieties’ of structure constants, once we will fix the dimension of the algebras in question.