On the problem of the derivability of identities in varieties of rings (Q1963399)
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: Publication:1963399 |
scientific article; zbMATH DE number 1396774
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | On the problem of the derivability of identities in varieties of rings |
scientific article; zbMATH DE number 1396774 |
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
0.8273767232894897
0 references
0.8184031844139099
0 references
0.8088204264640808
0 references
