Recursive functions in group theory

MaRDI QIDQ1078177zbMATH OpenFDO

Authors Vardeman G. Moore

Publication date 1986

Published in Illinois Journal of Mathematics (Search for Journal in Brave)

zbMATH Keywords

word problemfinitely presented grouppartial recursive functionparametric equationrecursively presented group

Mathematics Subject Classification ID

Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations (20E06) Generators, relations, and presentations of groups (20F05) Recursively (computably) enumerable sets and degrees (03D25) Theory of numerations, effectively presented structures (03D45) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Recursive functions and relations, subrecursive hierarchies (03D20) Applications of computability and recursion theory (03D80)

Recommendations

• Algorithmically insoluble problems about finitely presented solvable groups, Lie and associative algebras. I
• Word problems and recursively enumerable degrees of unsolvability. A sequel on finitely presented groups
• Groups with a Recursively Enumerable Irreducible Word Problem
• Computability of finite quotients of finitely generated groups
• On subgroup distortion in finitely presented groups

Cited in

(3)

• Recursion theory and ordered groups
• Finding non-trivial elements and splittings in groups.
• Decidability problem for exponential equations in finitely presented groups

This page was built for publication: Recursive functions in group theory

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