Abstract

We define and study the class of all stack algebras as the class of all minimal algebras in
a variety defined by an infinite recursively enumerable set of equations. Among a number of
results, we show that the initial model of the variety is computable, that its equational theory is
decidable, but that
... read more