Many-sorted algebras in congruence modular varieties
- 43 Downloads
We present several basic results on many-sorted algebras, most of them only valid in congruence modular varieties. We describe a connection between the properties of many-sorted varieties and those of varieties of one sort and give some results on functional completeness, the commutator and Abelian algebras.
1991 Mathematics subject classification08A05 08A40 08B10
Unable to display preview. Download preview PDF.
- Ehrig, H. andMahr, B.,Fundamentals of algebraic specification 1. EATCS Monographs on Theoretical Computer Science 6, Springer, Berlin, 1985.Google Scholar
- Freese, R. andMcKenzie, R.,Commutator theory for congruence modular varieties. LMS Lecture Notes Series 125, Cambridge University Press, Cambridge, 1987.Google Scholar
- Gumm, H. P.,Geometrical methods in congruence modular algebras. Memoirs Amer. Math. Soc.286 (1983).Google Scholar
- Meinke, K. andTucker, J. V.,Universal Algebra. In S. Abramsky, D. M. Gabbay and T. S. E. Maibaum, editors,Handbook of logic in computer science, vol. 1. Oxford University Press, Oxford, 1992, 189–411.Google Scholar