DECIDABILITY AND FINITE DIRECT PRODUCTS

A useful method of proving the finite decidability of an equationally definable class V of algebras (i.e., variety) is to prove the decidability of the class of finite directly indecomposable members of V. The validity of this method relies on the well-known result of Feferman-Vaught: if a class K of first-order structures is decidable, then so is the class {$\prod$$_{i}$＜n/ $A_{i}$│ $A_{i}$ $\in$ X (i < n), n $\in$ $\omega$}. In this paper we show that the converse of this does not necessarily hold.d.d.