Decidability of the theories of certain infinite, finitely presented quasigroups (Q1311200)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Decidability of the theories of certain infinite, finitely presented quasigroups |
scientific article; zbMATH DE number 484340
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Decidability of the theories of certain infinite, finitely presented quasigroups |
scientific article; zbMATH DE number 484340 |
Statements
Decidability of the theories of certain infinite, finitely presented quasigroups (English)
0 references
13 February 1994
0 references
The author formulates 6 conditions on a system \(\Sigma\) of quasigroup identities and on an infinite finitely defined quasigroup \(G\) from the variety defined by \(\Sigma\) which together are sufficient for the elementary theory of \(G\) to be decidable.
0 references
decidable elementary theory
0 references
quasigroup identities
0 references
infinite finitely defined quasigroup
0 references
variety
0 references
