Pi01 sets and tilings
Discrete Mathematics
2011-05-11 v2
Abstract
In this paper, we prove that given any \Pi^0_1 subset of there is a tileset with a set of configurations such that is recursively homeomorphic to where is a computable set of configurations. As a consequence, if 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}
}