On a Problem of Boone.

DOI10.7146/MATH.SCAND.A-11417zbMath0255.20022OpenAlexW2531109218MaRDI QIDQ5669474

George S. Sacerdote

Publication date: 1972

Published in: MATHEMATICA SCANDINAVICA (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/166258

Mathematics Subject Classification ID

Generators, relations, and presentations of groups (20F05) Decidability of theories and sets of sentences (03B25) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Other degrees and reducibilities in computability and recursion theory (03D30)

Related Items (2)

Degrees of unsolvability of first order decision problems for finitely presented groups ⋮ Infinite groups

This page was built for publication: On a Problem of Boone.