加载中…
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.

生成讲解博客的中文版本

生成AI智能校验的中文版本