Decidability of the elementary theory of a finitely defined quasigroup

DOI10.1007/BF01163826zbMATH Open0708.20022MaRDI QIDQ920205FDOQ920205

Authors: L. V. Shabunin 

Publication date: 1990

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

Recommendations

• Decidability of the theories of certain infinite, finitely presented quasigroups
• On decidability of theories of finitely generated quasigroups in \(R\)- varieties of groups
• Decidability of elementary theories of certain finitely defined algebras
• Decidability of elementary theories of lattices of subsemigroups
• Decidability of finite quasivarieties generated by certain transformation semigroups.
• scientific article; zbMATH DE number 3916533
• scientific article; zbMATH DE number 4179358
• scientific article; zbMATH DE number 4087622
• DECIDABILITY OF THE UNIVERSAL AND POSITIVE THEORIES OF A FREE GROUP
• Equivalence elementaire et decidabilite pour des structures du type groupe agissant sur un groupe abelien

zbMATH Keywords

decidabilitygeneratorsdefining relationselementary theoryinfinite finitely presented quasigroups

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Equational classes, universal algebra in model theory (03C05) Loops, quasigroups (20N05) Model theory of denumerable and separable structures (03C15) Free semigroups, generators and relations, word problems (20M05)

Cites Work

• Title not available (Why is that?)
• The Word Problem for Abstract Algebras

Cited In (4)

• Title not available (Why is that?)
• Title not available (Why is that?)
• On decidability of theories of finitely generated quasigroups in \(R\)- varieties of groups
• Decidability of the theories of certain infinite, finitely presented quasigroups

This page was built for publication: Decidability of the elementary theory of a finitely defined quasigroup

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