Abstract
We prove that the category of ω-continuous algebras of any fixed (infinitary) signature is a variety of the category of partial algebras of an adequate signature. This enables us to derive properties of ω-continuous algebras from the thoroughly investigated properties of partial algebras.
Get full access to this article
View all access options for this article.