Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Decidability of the elementary theory of a finitely defined quasigroup - MaRDI portal

Decidability of the elementary theory of a finitely defined quasigroup

From MaRDI portal

Publication:920205

Jump to:navigation, search

DOI10.1007/BF01163826zbMath0708.20022MaRDI QIDQ920205

L. V. Shabunin

Publication date: 1990

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

zbMATH Keywords

generators decidability defining relations elementary theory infinite finitely presented quasigroups

Mathematics Subject Classification ID

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

Cites Work

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:920205&oldid=12888835"