Universal Algebra Question

Hello :)

Burris and Sankappanavar define an "equational class" to be a class A
of algebras such that A is precisely the class of algebras of some type
F satisfying a set Sigma of identities of type F.

My question is, is there a special name for an equational class which
is precisely the class of algebras of some type F satisfying a _finite_
set Sigma of identities of type F? Or in English, the algebras that
can be axiomatized by finitely many identities?

Thank you very much =)

.

Relevant Pages

  • Re: Universal Algebra Question
    ... Burris and Sankappanavar define an "equational class" to be a class A ... of algebras such that A is precisely the class of algebras of some type ... F satisfying a set Sigma of identities of type F. ...
    (sci.math)
  • Re: Universal Algebra Question
    ... Burris and Sankappanavar define an "equational class" to be a class A ... of algebras such that A is precisely the class of algebras of some type ... F satisfying a set Sigma of identities of type F. ... variety of groups was finitely based; the study of varieties of groups ...
    (sci.math)
  • Re: Universal Algebra Question
    ... Arturo Magidin wrote: ... Burris and Sankappanavar define an "equational class" to be a class A ... of algebras such that A is precisely the class of algebras of some type ... F satisfying a set Sigma of identities of type F. ...
    (sci.math)