Hu's Primal Algebra Theorem Revisited
by
Hans-E. Porst
University of Bremen, Germany

Various proofs of Hu's Theorem characterizing the variety of Boolean algebras up to equivalence (in the categorical sense) have been obtained over the last decades. We add another one to this list which not only is of striking simplicity (it is essentially a three line proof) but at the same time classifies the varieties in question up to equivalence in the sense of Universal Algebra. The proof is based on the categorical fundamentals of Universal Algebra as provided by Lawvere and the representation theorem for finite Boolean algebras only.

Date received: May 28, 2000

Copyright © 2000 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # caee-79.