The semantical hyperunification problem

DOI10.7151/DMGAA.1036MaRDI QIDQ4537493zbMATH OpenOpenAlexFDO

Authors Klaus Denecke, Jörg Koppitz, Shelly L. Wismath

Publication date 1 April 2003

Published in Discussiones Mathematicae - General Algebra and Applications (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://semanticscholar.org/paper/8f88d57d9376d2bddf1c3d8fafb7c2fa948734c3

zbMATH Keywords

hypersubstitutionfully invariant congruence relationhyperunification problem

Mathematics Subject Classification ID

Lattices of varieties (08B15) Products, amalgamated products, and other kinds of limits and colimits (08B25) Varieties and pseudovarieties of semigroups (20M07)

Recommendations

• EQUATIONAL THEORIES GENERATED BY HYPERSUBSTITUTIONS OF TYPE (n)
• scientific article; zbMATH DE number 1867117
• Solid varieties of semigroups
• Hyperassociative varieties of semigroups
• scientific article; zbMATH DE number 774078
• Essential variables in hypersubstitutions.
• scientific article; zbMATH DE number 432741
• scientific article; zbMATH DE number 1894656
• The order of normal form hypersubstitutions of type (2)
• The dimension of a variety

Cited in

(5)

• THE DIMENSION OF A VARIETY AND THE KERNEL OF A HYPERSUBSTITUTION
• The semantical kernel of a generalized hypersubstitution
• The Relative Power of Semantics and Unification
• Inconsistency and semantic unification
• scientific article; zbMATH DE number 3487359 (Why is no real title available?)

This page was built for publication: The semantical hyperunification problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4537493)