1: \begin{abstract}

2: We study the algorithmic undecidability of abstract dynamical properties

3: for sofic $\mathbb{Z}^{2}$-subshifts and subshifts of finite type

4: (SFTs) on $\mathbb{Z}^{2}$. Within the class of sofic $\mathbb{Z}^{2}$-subshifts,

5: we prove the undecidability of every nontrivial dynamical property.

6: We show that although this is not the case for $\mathbb{Z}^{2}$-SFTs,

7: it is still possible to establish the undecidability of a large class

8: of dynamical properties. This result is analogous to the Adian-Rabin

9: undecidability theorem for group properties. Besides dynamical properties,

10: we consider dynamical invariants of $\mathbb{Z}^{2}$-SFTs taking

11: values in partially ordered sets. It is well known that the topological

12: entropy of a $\mathbb{Z}^{2}$-SFT can not be effectively computed

13: from an SFT presentation. We prove a generalization of this result

14: to \emph{every} dynamical invariant which is nonincreasing by factor

15: maps, and satisfies a mild additional technical condition. Our results

16: are also valid for $\Z^{d}$, $d\geq2$, and more generally for any

17: group where determining whether a subshift of finite type is empty

18: is undecidable. 

19: \end{abstract}

20: