The word problem for division rings

DOI10.2307/2273039MaRDI QIDQ4774033zbMATH OpenOpenAlexFDO

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

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

Cited in

(8)

• Unsolvable algorithmic problems for semigroups, groups and rings
• A field guide to equational logic
• Some algorithmic problems for projective planes
• Von Staudt constructions for skew-linear and multilinear matroids
• 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)