The theory of idempotent semigroups is of unification type zero

DOI10.1007/BF02328451MaRDI QIDQ581000zbMATH OpenFDO

Authors Franz Baader

Publication date 1986

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF02328451

zbMATH Keywords

equational theoryterm rewriting systemstheory of idempotent semigroupsunification type zero

Mathematics Subject Classification ID

Varieties and pseudovarieties of semigroups (20M07)

Review text

An equational theory E is of unification type zero if there exist terms s, t for which there is no minimal complete set of E-unifiers of s, t. The existence of such a theory E was conjectured by Plotkin in 1972. The first example of a theory of this type was constructed by Fage and Huet in 1983. The present paper shows that the theory of idempotent semigroups is of unification type zero. This yields an example of a theory of type zero which is more natural than the example given by Fages and Huet.

Recommendations

• Unification in varieties of idempotent semigroups
• A semigroup of theories and its lattice of idempotent elements
• scientific article; zbMATH DE number 1139722
• Idempotents in semi-convergence semigroups
• QUASIVARIETIES OF IDEMPOTENT SEMIGROUPS
• scientific article; zbMATH DE number 90533
• The Universal Theory of Ordered Equidecomposability Types Semigroups
• scientific article; zbMATH DE number 1262185
• Idempotents in \(n\)-ary semigroups
• Idempotents in compact monothetic semigroups

Cites work

• A Noetherian and confluent rewrite system for idempotent semigroups
• scientific article; zbMATH DE number 3867289 (Why is no real title available?)
• scientific article; zbMATH DE number 3871321 (Why is no real title available?)
• scientific article; zbMATH DE number 3552814 (Why is no real title available?)
• Idempotent Semigroups
• The structure of idempotent semigroups. I

Cited in

(19)

• Unification in varieties of idempotent semigroups
• A note on unification type zero
• Unification in commutative idempotent monoids
• The unification hierarchy is undecidable
• Unification problem in equational theories
• Unification in partially commutative semigroups
• On equational theories, unification, and (un)decidability
• Anti-unification and the theory of semirings
• A formalisation of nominal C-matching through unification with protected variables
• Essential unifiers
• What is essential unification?
• Formalising nominal C-unification generalised with protected variables
• Characterizations of unification type zero
• Unification under associativity and idempotence is of type nullary
• Unification in a combination of arbitrary disjoint equational theories
• Unification in varieties of completely regular semigroups
• Unification theory
• Unification in monoidal theories
• Hilbert's tenth problem is of unification type zero

This page was built for publication: The theory of idempotent semigroups is of unification type zero

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