The Birkhoff Variety Theorem for continuous algebras
- Cite this article as:
- Adámek, J., Nelson, E. & Reiterman, J. Algebra Universalis (1985) 20: 328. doi:10.1007/BF01195142
- 26 Downloads
Varieties of continuous algebras, i.e., classes presented by (in)equalities for terms, are characterized as precisely the HSP classes. Terms here are the usual algebraic terms enriched by iterated join symbols. A discussion of varieties which require only finitely many variables, or only the usual terms, is also presented.