Two results on complexities of decision problems of groups

DOI10.1142/S0218196725500067MaRDI QIDQ7006276zbMATH OpenFDO

Authors Uri Andrews, Matthew Harrison-Trainor, Meng-Che Ho

Publication date 31 March 2025

Published in International Journal of Algebra and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/S0218196725500067

zbMATH Keywords

computably enumerable equivalence relationisomorphism problemword problem

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30) Hierarchies of computability and definability (03D55) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)

Cites work

• A survey on universal computably enumerable equivalence relations
• Analogues of the countable Borel equivalence relations in the setting of computable reducibility
• Classifying word problems of finitely generated algebras via computable reducibility
• Computably enumerable equivalence relations
• Ein Rekursiv Aufzählbarer btt‐Grad, der Nicht Zum Wortproblem Einer Gruppe Gehört
• Finitely generated groups are universal among finitely generated structures
• Finitely Presented Groups with Word Problems of Arbitrary Degrees of Insolubility
• scientific article; zbMATH DE number 3114412 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3301428 (Why is no real title available?)
• scientific article; zbMATH DE number 3322090 (Why is no real title available?)
• scientific article; zbMATH DE number 3110205 (Why is no real title available?)
• Joins and meets in the structure of ceers
• Jumps of computably enumerable equivalence relations
• On Group-Theoretic Decision Problems and Their Classification. (AM-68)
• On the complexity of the isomorphism relation for finitely generated groups
• Recursive unsolvability of group theoretic problems
• Subgroups of finitely presented groups
• The complexity of index sets of classes of computably enumerable equivalence relations
• Universal computably enumerable equivalence relations
• Word problems and recursively enumerable degrees of unsolvability. A sequel on finitely presented groups
• Über unendliche diskontinuierliche Gruppen.

This page was built for publication: Two results on complexities of decision problems of groups

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