1: \begin{abstract}

2: We investigate decision problems for finitely generated groups described

3: by word problem algorithms. This is equivalent to studying groups

4: described by computable labelled Cayley graphs. We relate these problem

5: to the study of computable analysis on the space of marked groups,

6: and point out several results of computable analysis that can be directly

7: applied to obtain group theoretical results. Those results, used in

8: conjunction with the version of Higman's Embedding Theorem that preserves

9: solvability of the word problem, provide powerful tools to build finitely

10: presented groups with solvable word problem but with various undecidable

11: properties.

12: 

13: We also place group properties in the first levels of the arithmetical

14: hierarchy for decision problems about groups given by word problem

15: algorithms, and show that on many group properties usually considered,

16: this effective hierarchy corresponds sharply to the Borel hierarchy. 

17: 

18: Finally, we prove that the space of marked groups is a Polish space

19: that is not \emph{effectively Polish}. Because of this, many of the

20: most important results of computable analysis cannot be applied to

21: the space of marked groups. This includes the Kreisel-Lacombe-Schoenfield-Ceitin

22: Theorem and a theorem of Moschovakis. The space of marked groups constitutes

23: the first natural example of a Polish space that is not effectively

24: Polish. 

25: \end{abstract}

26: