On decidability of theories of finitely generated quasigroups in \(R\)- varieties of groups

DOI10.1007/BF00970492zbMath0744.20057OpenAlexW1985091791MaRDI QIDQ1177464

L. V. Shabunin

Publication date: 26 June 1992

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

Full work available at URL: https://doi.org/10.1007/bf00970492

zbMATH Keywords

solvabilityfinitely presented algebraselementary theory\(R\)-variety of quasigroupsfinitely presented quasigroup

Mathematics Subject Classification ID

Applications of logic to group theory (20A15) Model-theoretic algebra (03C60) Loops, quasigroups (20N05) Equational classes, universal algebra in model theory (03C05)

Cites Work

• Solution of the basic algorithmic problems in some classes of quasigroups with identities
• On theories with a combinatorial definition of 'equivalence'
• The Isomorphism Problem for Some Classes of Multiplicative Systems
• The Word Problem for Abstract Algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On decidability of theories of finitely generated quasigroups in \(R\)- varieties of groups