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 |