An Equational Axiomatization for the Disjoint System of Post Algebras

Abstract

It is shown that the class of Post algebras of finite order n is equationally definable where the only unary operators are the disoint operators C <inf xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">i</inf> , i = 0, 1,..., n -1.