A Birkhoff theorem for partial algebras via completion

An equational theory (a Birkhoff theorem) for functorial partial algebras is established via the corresponding theory for functorial total algebras.This work was done with partial support of the DFG (BRD).Presented at the European Colloquium of Category Theory, Tours, France, 25–31 July 1994.