Axiomatizing Complex Algebras by Games
Ian Hodkinson, Szabolcs Mikulás, Yde Venema

Abstract:
Given a variety V of algebras we provide an axiomatization of the class of
complex algebras of the algebras in V. This axiomatization can be obtained 
effectively from an axiomatization of V; in fact, it is recursive if the 
axiomatization of V is given as a recursive enumeration.

Keyword(s): Boolean algebras with operators, complex algebras, axiomatization,
   complex group, variety, games