Recursive functions in group theory

zbMATH Open0596.03052MaRDI QIDQ1078177FDOQ1078177

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)

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)