Re: Universal Algebra Question

In article <1161370602.184339.216560@xxxxxxxxxxxxxxxxxxxxxxxxxxx>,
Snis Pilbor <snispilbor@xxxxxxxxx> wrote:
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 =)

Such equational classes are said to be "finitely based".

--
======================================================================
"It's not denial. I'm just very selective about
what I accept as reality."
--- Calvin ("Calvin and Hobbes" by Bill Watterson)
======================================================================

Arturo Magidin
magidin-at-member-ams-org

.

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. ... variety of groups was finitely based; the study of varieties of groups ...
    (sci.math)
  • 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
    ... 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)