Algorithmic properties of free rings. (English. Russian original) Zbl 0777.16013
Sib. Math. J. 32, No. 6, 971-981 (1991); translation from Sib. Mat. Zh. 32, No. 6(190), 87-99 (1991).
See the review in Zbl 0758.16009.
MSC:
| 16R10 | \(T\)-ideals, identities, varieties of associative rings and algebras |
| 16B70 | Applications of logic in associative algebras |
| 03D40 | Word problems, etc. in computability and recursion theory |
| 16S10 | Associative rings determined by universal properties (free algebras, coproducts, adjunction of inverses, etc.) |
| 17B01 | Identities, free Lie (super)algebras |
| 16S99 | Associative rings and algebras arising under various constructions |
| 03D35 | Undecidability and degrees of sets of sentences |
