The word problem and power problem in 1-relator groups are primitive recursive

DOI10.2140/pjm.1975.61.351zbMath0335.02029OpenAlexW1994872609MaRDI QIDQ1229203

Frank B. Cannonito, R. W. Gatterdam

Publication date: 1975

Published in: Pacific Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2140/pjm.1975.61.351

Mathematics Subject Classification ID

Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Word problems, etc. in computability and recursion theory (03D40)

Related Items (5)

Unnamed Item ⋮ Infinite groups ⋮ Unnamed Item ⋮ Algorithmische Probleme bei Einrelatorgruppen und ihre Komplexität ⋮ Model-theoretic and algorithmic questions in group theory

This page was built for publication: The word problem and power problem in 1-relator groups are primitive recursive