Continuous Algebras Revisited
โ
J. Adamek; E. Nelson; J. Reiterman
๐
Article
๐
1995
๐
Elsevier Science
๐
English
โ 845 KB
For finitary \(Z\)-continuous algebras (where \(Z\) is a subset system), the Birkhoff Variety Theorem is proved in a new way, by means of the logic of inequalities. For infinitary separately \(\Delta\)-continuous algebras, a counterexample is presented (i.e., an HSP-class which is not a variety). In