EQUATIONAL THEORIES GENERATED BY HYPERSUBSTITUTIONS OF TYPE (n)

DOI10.1142/S0218196702001218MaRDI QIDQ3043643zbMATH OpenOpenAlexFDO

Authors Klaus Denecke, Jörg Koppitz, Stanisław Niwczyk

Publication date 6 August 2004

Published in International Journal of Algebra and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/s0218196702001218

zbMATH Keywords

fully invariant congruencehypersubstitutionhyperunification problem

Mathematics Subject Classification ID

Subalgebras, congruence relations (08A30) Lattices of varieties (08B15) Products, amalgamated products, and other kinds of limits and colimits (08B25)

Recommendations

• Equational theories as congruences of enriched monoids
• A note on equational theories
• Equational theories for inductive types
• scientific article; zbMATH DE number 1300966
• scientific article; zbMATH DE number 1018728
• scientific article; zbMATH DE number 6399373
• Decidability of equational theories for subsignatures of relation algebra
• Further properties of lattices of equational theories
• Derived Varieties and Derived Equational Theories
• scientific article; zbMATH DE number 1047921

Cited in

(9)

• ALGEBRAS DERIVED BY SURJECTIVE HYPERSUBSTITUTIONS
• Generalized derived algebras and generalized induced algebras
• THE DIMENSION OF A VARIETY AND THE KERNEL OF A HYPERSUBSTITUTION
• Green's Relations on the Monoid of Regular Hypersubstitutions
• scientific article; zbMATH DE number 2145369 (Why is no real title available?)
• The semantical kernel of a generalized hypersubstitution
• Superassociative structures of terms and formulas defined by transformations preserving a partition
• The Depth of a Hypersubstitution
• The semantical hyperunification problem

This page was built for publication: EQUATIONAL THEORIES GENERATED BY HYPERSUBSTITUTIONS OF TYPE (n)

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