1: \begin{abstract} 

2:       In the 60's,  Berger famously showed that translational tilings of $\Z^2$ with multiple tiles  are algorithmically undecidable. Recently, Bhattacharya proved the decidability of \emph{translational monotilings}  (tilings by translations of a single tile) in $\Z^2$. 

3:       The decidability of translational monotilings in higher dimensions remained unsolved. 

4:       In this paper, by combining  our recently developed techniques with ideas  introduced by Aanderaa--Lewis, we finally settle this problem, achieving the undecidability of translational monotilings of (periodic subsets of)  virtually $\Z^2$ spaces, namely, spaces of the form $\Z^2\times G_0$, where $G_0$ is a finite Abelian group. This also implies the undecidability of translational monotilings in $\Z^d$, $d\geq 3$.

5: 	\end{abstract}

6: