Recursive undecidability of the binding property for finitely presented equational classes

DOI10.1007/BF02483859MaRDI QIDQ1151417zbMATH OpenFDO

Authors Stephane Foldes, G. 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)

Cites work

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

Cited in

(1)

• scientific article; zbMATH DE number 672105 (Why is no real title available?)

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

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