92ca2f15028d866f.tex
1: \begin{abstract}
2: We show that every infinite graph which is locally finite and connected
3: admits a translation-like action by $\Z$ such that the distance between
4: a vertex $v$ and $v\ast1$ is uniformly bounded by 3. This action
5: can be taken to be transitive if and only if the graph has one or
6: two ends. This strenghens a theorem by Brandon Seward.
7: 
8: Our proof is constructive, and thus it can be made computable. More
9: precisely, we show that a finitely generated group with decidable
10: word problem admits a translation-like action by $\Z$ which is computable,
11: and satisfies an extra condition which we call decidable orbit membership
12: problem.
13: 
14: As an application we show that on any finitely generated infinite
15: group with decidable word problem, effective subshifts attain all
16: effectively closed Medvedev degrees. This extends a classification
17: proved by Joseph Miller for $\Z^{d},$ $d\geq1$.
18: \end{abstract}
19: