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

DOI10.1090/S0002-9939-96-03209-1zbMath0839.03027OpenAlexW1565612341MaRDI QIDQ4874376

Oleg V. Belegradek

Publication date: 19 June 1996

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/s0002-9939-96-03209-1

zbMATH Keywords

arithmetical \(m\)-degreefirst-order decision problemfree 2-step nilpotent group

Mathematics Subject Classification ID

Nilpotent groups (20F18) 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)

Cites Work

• On a Problem of Boone.
• Some Undecidable Problems in Group Theory

This page was built for publication: Degrees of unsolvability of first order decision problems for finitely presented groups