In this paper we prove that, for n > 1, the n-generated free algebra F V(n) in any locally finite subvariety V of HoRA can be written in a unique nontrivial way as L2 Ã— Aâ€², where Aâ€² is a directlyâ€¦ (More)

For a finite n-element set X, n â‰¥ 1, let N [X] denote the number of elements of X and let p(n) denote the number of all partitions of X. If Bn is a Boolean algebra with n atoms, let A(Bn) be the setâ€¦ (More)