Decidability of elementary theories of finitely presented algebras of the variety of algebras defined by the empty system of identities

DOI10.1007/BF01157937zbMath0693.03015MaRDI QIDQ584245

L. V. Shabunin

Publication date: 1989

Published in: Mathematical Notes (Search for Journal in Brave)

zbMATH Keywords

word problemelementary theoryfinitely- defined algebravariety of algebras of a finite similarity-type

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Equational classes, universal algebra in model theory (03C05) Word problems (aspects of algebraic structures) (08A50)

Cites Work

• Some Properties of Conversion
• The Word Problem for Abstract Algebras
• Unnamed Item