English

Pi01 sets and tilings

Discrete Mathematics 2011-05-11 v2

Abstract

In this paper, we prove that given any \Pi^0_1 subset PP of {0,1}\NN\{0,1\}^\NN there is a tileset τ\tau with a set of configurations CC such that P×\ZZ2P\times\ZZ^2 is recursively homeomorphic to CUC\setminus U where UU is a computable set of configurations. As a consequence, if PP is countable, this tileset has the exact same set of Turing degrees.

Cite

@article{arxiv.1102.1189,
  title  = {Pi01 sets and tilings},
  author = {Emmanuel Jeandel and Pascal Vanier},
  journal= {arXiv preprint arXiv:1102.1189},
  year   = {2011}
}
R2 v1 2026-06-21T17:22:22.801Z