Chain-Continuous Algebras a Variety of Partial Algebras

Ana Pasztor · Fundamenta Informaticae · 1983

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.

Read the paper · More papers on PaperTik