On the problem of the derivability of identities in varieties of rings (Q1963399): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: ALGORITHMIC PROBLEMS IN VARIETIES / rank | |||
Normal rank | |||
Latest revision as of 12:39, 29 May 2024
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
