On the problem of the derivability of identities in varieties of rings (Q1963399)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the problem of the derivability of identities in varieties of rings |
scientific article |
Statements
On the problem of the derivability of identities in varieties of rings (English)
0 references
31 January 2000
0 references
The author proves the following result: There is no algorithm which, for an arbitrary finitely based variety of rings, determines whether the identity \((xy)(zt)=0\) is valid in the variety. The two-band Minsky machine is used for proving the result.
0 references
finitely based variety of rings
0 references
identity
0 references
