Abstract:We investigate decision problems for finitely generated groups described by word problem algorithms. This is equivalent to studying groups described by computable labelled Cayley graphs. We relate these problems to the study of computable analysis on the space of marked groups, and point out several results of computable analysis that can be directly applied to obtain group theoretical results. Those results, used in conjunction with the version of Higman's Embedding Theorem that preserves solvability of the word problem, provide powerful tools to build finitely presented groups with solvable word problem but with various undecidable properties. Interestingly, the only results of computable analysis that can be applied together with Higman's Embedding Theorem are those of what is known as ``Markov's school of computable analysis''. We thus focus on articles which predate most of what is seen as the modern corpus of research in computable analysis. The presented results show that these older results are still very relevant. We also place group properties in the first levels of the arithmetical hierarchy for decision problems about groups given by word problem algorithms, and show that on many group properties usually considered, this effective hierarchy corresponds sharply to the Borel hierarchy. Finally, we prove that the space of marked groups is a Polish space that is not \emph{effectively Polish}. Because of this, many of the most important results of Markovian computable analysis cannot be applied to the space of marked groups. This includes the Kreisel-Lacombe-Schoenfield-Ceitin Theorem and a theorem of Moschovakis. The space of marked groups constitutes the first natural example of a Polish space that is not effectively Polish.

Remarks and problems about algorithmic descriptions of groups

Computable analysis on the space of marked groups

Semigroup algorithmic problems in metabelian groups

Algorithmically finite, universal, and $*$-universal groups

Computably totally disconnected locally compact groups

Recent advances in algorithmic problems for semigroups

On the Descriptive Complexity of Groups without Abelian Normal Subgroups (Extended Abstract)

Applications of computational tools for finitely presented groups

The Identity Problem in $\mathbb{Z} \wr \mathbb{Z}$ is decidable

On isomorphisms to a free group and beyond

The Adian-Rabin Theorem -- An English translation

Two results on complexities of decision problems of groups

Groups with presentations in EDT0L

Linear equations with monomial constraints and decision problems in abelian-by-cyclic groups

Automated reasoning for proving non-orderability of groups

Proof Theory and Ordered Groups

Effective Aspects of Algorithmically Random Structures

Recognition and constructive membership for discrete subgroups of $\mathrm{SL}_2(\mathbb{R})$

Finitely presented subgroups of direct products of graphs of groups with free abelian vertex groups

Count-Free Weisfeiler--Leman and Group Isomorphism

Finitely Presented Expansions of Groups, Semigroups, and Algebras