Abstract
We study syntactical descriptions of implicit operations on pseudouniversal classes of finite algebras (closed under subalgebras) and the questions of axiomatizability of such classes.
Similar content being viewed by others
References
C. J. Ash, “Pseudovarieties, generalized varieties and similarly described classes,” J. Algebra, 92, No. 1, 104–115 (1985).
S. Eilenberg, Automata, Languages and Machines, Academic Press, New York-San Francisco-London (1976).
S. Eilenberg and M. P. Schutzenberger, “On pseudovarieties,” Adv. Math., 19, 413–418 (1976).
P. M. Higgins, “An algebraic proof that pseudovarieties are defined by pseudoidentities,” Algebra Universalis, 27, No. 4, 597–599 (1990).
A. G. Pinus, “On the conditional terms and identities on universal algebras,” Vychisl. Sistemy, 156, 59–78 (1996).
A. G. Pinus, “Characterization of conditionally termal functions,” Sib. Mat. Zh., 38, No. 1, 161–165 (1997).
A. G. Pinus, “Calculus of conditional identities and conditionally rational equivalence,” Algebra Logika, 37, No. 4, 432–459 (1998).
A. G. Pinus, “Conditional terms and their applications in algebra and theory of computability,” Usp. Mat. Nauk, 56, No. 4, 35–72 (2001).
A. G. Pinus, Conditional Terms and Their Applications in Algebra and the Theory of Computability [in Russian], NSTU Publishers, Novosibirsk (2003).
J. Reiterman, “The Birkhoff theorem for finite algebras,” Algebra Universalis, 14, No. 1, 1–10 (1982).
Author information
Authors and Affiliations
Additional information
__________
Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 10, No. 4, pp. 171–182, 2004.
Rights and permissions
About this article
Cite this article
Pinus, A.G. On the implicit conditional operations defined on pseudouniversal classes. J Math Sci 140, 295–302 (2007). https://doi.org/10.1007/s10958-007-0424-7
Issue Date:
DOI: https://doi.org/10.1007/s10958-007-0424-7