scientific article; zbMATH DE number 4120153

MaRDI QIDQ4733855zbMATH OpenFDO

Authors L. V. Shabunin

Publication date 1989

zbMATH Keywords

elementary theoryfinitely- defined algebravariety of algebras of a finite similarity-typeword problem

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)

Recommendations

• Decidability of elementary theories of finitely presented algebras of the variety of algebras defined by the empty system of identities
• scientific article; zbMATH DE number 3880903
• Decidability of elementary theories of certain finitely defined algebras
• scientific article; zbMATH DE number 772750
• scientific article; zbMATH DE number 4122234
• scientific article; zbMATH DE number 3900838
• scientific article; zbMATH DE number 120349
• The problem of spectra of solvability for varieties of algebras
• scientific article; zbMATH DE number 3645165
• scientific article; zbMATH DE number 1045698

Cited in

(3)

• On decidability of theories of finitely generated quasigroups in \(R\)- varieties of groups
• Decidability of elementary theories of certain finitely defined algebras
• scientific article; zbMATH DE number 3880903 (Why is no real title available?)

This page was built for publication:

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