Journal of the Korean Mathematical Society (대한수학회지)
- Volume 35 Issue 2
- /
- Pages.399-422
- /
- 1998
- /
- 0304-9914(pISSN)
- /
- 2234-3008(eISSN)
DECIDABILITY AND FINITE DIRECT PRODUCTS
- Jeong, Joo-Hee (Topology and Geometry Research Center Kyungpook National University)
- Published : 1998.05.01
Abstract
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 {