2000 character limit reached
Pi01 sets and tilings
Published 6 Feb 2011 in cs.DM | (1102.1189v2)
Abstract: In this paper, we prove that given any \Pi0_1 subset $P$ of ${0,1}\NN$ there is a tileset $\tau$ with a set of configurations $C$ such that $P\times\ZZ2$ is recursively homeomorphic to $C\setminus U$ where $U$ is a computable set of configurations. As a consequence, if $P$ is countable, this tileset has the exact same set of Turing degrees.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.