The word problem for division rings

DOI10.2307/2273039zbMATH Open0286.02046OpenAlexW2084432067MaRDI QIDQ4774033FDOQ4774033

Authors: Angus 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)

Cites Work

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

Cited In (8)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4774033)