Ordinal algebras : with appendices - Tarski, Alfred (Studies in logic and the foundations of mathematics, 1970)