scientific article
zbMath0758.16009MaRDI QIDQ4006521
G. V. Kryazhovskikh, G. P. Kukin
Publication date: 26 September 1992
Full work available at URL: https://eudml.org/doc/63494
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
algorithmsignaturegeneratorsprincipal ideal domainintegral 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:
