Pi01 sets and tilings

Emmanuel Jeandel, Pascal Vanier

In this paper, we prove that given any Π^0_1 subset $P$ of $\{0,1\}^\NN$ there is a tileset $\tau$ with a set of configurations $C$ such that $P\times\ZZ^2$ is recursively homeomorphi…