Recursive undecidability of the binding property for finitely presented equational classes

DOI10.1007/BF02483859zbMath0458.08005MaRDI QIDQ1151417

Gert Sabidussi, Stephane Foldes

Publication date: 1981

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

zbMATH Keywords

binding variety; finitely presented varieties

Mathematics Subject Classification ID

08B15: Lattices of varieties

08A50: Word problems (aspects of algebraic structures)

Related Items

Unnamed Item