The word problem for division rings

DOI10.2307/2273039zbMath0286.02046OpenAlexW2084432067MaRDI QIDQ4774033

Angus J. Macintyre

Publication date: 1973

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273039

Mathematics Subject Classification ID

Word problems, etc. in computability and recursion theory (03D40) Division rings and semisimple Artin rings (16Kxx)

Related Items (8)

Von Staudt constructions for skew-linear and multilinear matroids ⋮ Free Modular Lattices ⋮ Unsolvable algorithmic problems for semigroups, groups and rings ⋮ Recursive spectra of strongly minimal theories satisfying the Zilber Trichotomy ⋮ A field guide to equational logic ⋮ Associative rings ⋮ Progress in free associative algebras ⋮ Some algorithmic problems for projective planes

Cites Work

• Recursive unsolvability of group theoretic problems
• On the free product of associative rings
• Recursively enumerable degress and the conjugacy problem
• Rational identities and applications to algebra and geometry
• Subgroups of finitely presented groups
• Omitting quantifier-free types in generic structures
• On a Problem of J.H.C. Whitehead and a Problem of Alonzo Church.
• Completing theories by forcing
• The word problem
• The word problem
• Unnamed Item

This page was built for publication: The word problem for division rings