[This article is reviewed together with the preceding one (see Zbl 0679.08002).]
The two papers prove the following theorem (which refines the main result of P. M. Idziak’s paper [ibid. 26, No.1, 33-47 (1989; Zbl 0668.08008)]): If V is a finitely generated variety of finite type and congruence distributive, then the following are equivalent: (1) \(Th(V_{fin})\) is decidable, (2) \(Th(V_{fin})\) is not hereditarily undecidable, (3) V is congruence permutable and congruence linear. (Congruence linearity means that in any subdirectly irreducible algebra of V, congruences form a chain; \(V_{fin}\) is the class of finite algebras in V.) Let V be a congruence distributive variety. Part I shows that if V has a finite subdirectly irreducible algebra, with two incomparable congruences, then \(Th(V_{fin})\) is hereditarily undecidable. Part II shows that if V has a finite algebra with non- permutable congruences, then \(Th(V_{fin})\) is hereditarily undecidable. The proofs use semantical interpretation and a special kind of Boolean power. A noteworthy lemma shows that, for a congruence modular variety, having a finite algebra with non-permutable congruences implies having a finite algebra A and two atoms in Con(A) which do not permute.