Many-sorted algebras in congruence modular varieties (Q1363439)

From MaRDI portal





scientific article; zbMATH DE number 1046542
Language Label Description Also known as
default for all languages
No label defined
    English
    Many-sorted algebras in congruence modular varieties
    scientific article; zbMATH DE number 1046542

      Statements

      Many-sorted algebras in congruence modular varieties (English)
      0 references
      0 references
      7 August 1997
      0 references
      The paper contains basic results on many-sorted algebras (in the sense of P. J. Higgins, 1963), most of them only valid in congruence modular varieties. Connection between the properties of many-sorted varieties and those of varieties of one sort is described. Then several theorems on functional completeness, on the commutator, and on Abelian algebras are proved.
      0 references
      many-sorted algebra
      0 references
      congruence modular variety
      0 references
      commutator
      0 references
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references