Abstract
Let A be a finite algebra generating a finitely decidable variety and having nontrivial strongly solvable radical \({\tau}\). We provide an improved bound on the number of variables in which a term can be sensitive to changes within \({\tau}\). We utilize a multisorted algebraic construction, amalgamating the methods developed by Valeriote and McKenzie for the investigation of strongly abelian locally finite decidable varieties with those of Idziak for locally finite congruence modular finitely decidable varieties.
Similar content being viewed by others
References
Adámek, J., Rosickỳ, J., Vitale, E.: Birkhoff’s variety theorem in many sorts. Algebra Universalis 68, 39–42 (2012)
Eklof P., Fischer E.: The elementary theory of abelian groups. Ann. Math. Logic 4, 115–171 (1972)
Ershov, Yu.: Elementary Theories of Groups. Dokl. Akad. Nauk. 203, 1240–1243 (1972) (Russian)
Hobby, D., McKenzie, R.: The Structure of Finite Algebras. Contemporary Mathematics, vol. 76. American Mathematical Society, Providence (1988)
Idziak P.: A characterization of finitely decidable congruence modular varieties. Trans. Amer. Math. Soc. 349, 903–934 (1997)
Malcev, A.I.: On a correspondence between rings and groups. AMS Translations. 45, 221–231 (1965). Russian original in Math. Sbornik 50 (1960)
McKenzie, R., Smedberg, M.: Strong solvability and residual finiteness for finitely decidable varieties. Fund. Math. (2014, submitted), http://arxiv.org/abs/1311.2683
McKenzie, R., Valeriote, M.: The Structure of Decidable Locally Finite Varieties. Birkhäuser Progress in Mathematics, Boston (1989)
Olshanskii, A.Yu.: Geometry of Defining Relations in Groups. Kluwer Academic Publishers, Dordrecht (1991)
Szmielew W.: Elementary properties of Abelian groups. Fund. Math. 41, 203–271 (1955)
Tarski, A., Mostowski, A., Robinson, R.: Undecidable Theories. North Holland, Amsterdam (1953)
Valeriote M.: On solvable congruences in finitely decidable varieties. Math. Log. Quart. 40, 398–414 (1994)
Valeriote M., Willard R.: Some properties of finitely decidable varieties. Internat. J. Algebra Comput. 2, 89–101 (1992)
Zamyatin, A.P.: Varieties of associative rings whose elementary theory is decidable. Dokl. Akad. Nauk. 229, 276–279 (1976) (Russian)
Zamyatin, A.P.: A non-abelian variety of groups has an undecidable elementary theory. Algebra Logika. 17, 20–27 (1978) (Russian)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by G. McNulty.
Dedicated to Brian Davey on the occasion of his 65th birthday
Rights and permissions
About this article
Cite this article
Smedberg, M. Bounding essential arities of term operations in finitely decidable varieties. Algebra Univers. 74, 163–184 (2015). https://doi.org/10.1007/s00012-015-0341-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00012-015-0341-4