Recursive undecidability of the binding property for finitely presented equational classes

DOI10.1007/BF02483859zbMath0458.08005MaRDI QIDQ1151417

Stephane Foldes, Gert Sabidussi

Publication date: 1981

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

binding varietyfinitely presented varieties

Mathematics Subject Classification ID

Lattices of varieties (08B15) Word problems (aspects of algebraic structures) (08A50)

Related Items (1)

Unnamed Item

Cites Work

• How comprehensive is the category of semigroups?
• Undecidable properties of finite sets of equations
• Recursive Unsolvability of a problem of Thue

This page was built for publication: Recursive undecidability of the binding property for finitely presented equational classes