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.

Computability for the absolute Galois group of $\mathbb{Q}$

Computably totally disconnected locally compact groups

Computability in infinite Galois theory and algorithmically random algebraic fields

Computability in Analysis

Arithmetic statistics of Galois groups

Computable Gelfand Duality

Computable Rings, Groups And Their Isomorphisms

Absolute Galois groups viewed from small quotients and the Bloch-Kato conjecture

Exploring the abyss in Kleene's computability theory

Computing over the Reals (or an Arbitrary Ring)

Computably locally compact groups and their closed subgroups

Noncomputable functions in the Blum-Shub-Smale model

Cayley Polynomial-Time Computable Groups

A Galois connection between Turing jumps and limits

Computable and noncomputable in the quantum domain: statements and conjectures

Abelian absolute Galois groups

First examples of non-abelian quotients of the Grothendieck-Teichmueller group that receive surjective homomorphisms from the absolute Galois group of rational numbers

Free product of Demushkin groups as absolute Galois group

On the computational properties of basic mathematical notions

Computable analysis on the space of marked groups