Abstract
We prove that a varietyV which is locally finite, finitely generated, congruence permutable and of finite type, and whose subdirectly irreducible algebras are all either abelian or linear type 3 above the monolith is finitely decidable if and only if the theory of the finite abelian algebras inV is decidable.
Similar content being viewed by others
References
Burris, S. andWerner, H.,Sheaf constructions and their elementary properties, Trans. Amer. Math. Soc.248 (1979), 269–309.
Freese, R. andMcKenzie, R.,Commutator theory for congruence modular varieties, London Math. Soc. Lecture Notes, 125, 1987.
Hobby, D. andMcKenzie, R.,The structure of finite algebra, Amer. Math. Soc. Contemporary Mathematics, vol. 76, 1988.
Idziak, K. andIdziak, P. M.,Decidability problem for finite Heyting algebras, J. Symbolic Logic53 (1988), 729–735.
Idziak, P. M.,Reduced sub-powers and the decision for finite algebras in arithmetical varieties, Algebra Universalis25 (1988), 365–383.
Idziak, P. M.,Varieties with decidable finite algebras I: Linearity, Algebra Universalis26 (1989), 234–246.
Idziak, P. M.,Varieties with decidable finite algebras II: Permutability, Algebra Universalis26 (1989), 247–256.
Jeong, J.,Finitely decidable congruence modular varieties, Trans. Amer. Math. Soc.339 (1993), 623–642.
Rabin, M. O.,Decidability of second order theories and automata on infinite trees, Trans. Amer. Math. Soc.141 (1969), 1–35.
Zamyatin, A. P.,Varieties of associative rings whose elementary theory is decidable, Soviet Math. Doklady17 (1976), 996–999.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Albert, M.H. A sufficient condition for finite decidability. Algebra Universalis 36, 467–482 (1996). https://doi.org/10.1007/BF01233917
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF01233917