Algorithmic properties of free rings
zbMath0777.16013MaRDI QIDQ684708
G. V. Kryazhovskikh, G. P. Kukin
Publication date: 27 September 1993
Published in: Siberian Mathematical Journal (Search for Journal in Brave)
algorithmgeneratorsprincipal ideal domainsintegral domainuniversal theoryelementary theoryfinitely generated subalgebravariety of \(F\)- algebras
Associative rings determined by universal properties (free algebras, coproducts, adjunction of inverses, etc.) (16S10) Identities, free Lie (super)algebras (17B01) Undecidability and degrees of sets of sentences (03D35) Word problems, etc. in computability and recursion theory (03D40) (T)-ideals, identities, varieties of associative rings and algebras (16R10) Applications of logic in associative algebras (16B70) Associative rings and algebras arising under various constructions (16S99)
Related Items (1)
This page was built for publication: Algorithmic properties of free rings
