Pi01集和切片

摘要：

本文证明了给定$\{0,1\}^\NN$的任意一个0^0_1子集$P$，存在一个具有一组配置$C$的迭代$τ$，使得$P\times\ZZ^2$递归同胚于$C\setminus U$，其中$U$是一组可计算的配置.因此，如果$P$是可数的，那么这个tiltron具有完全相同的图灵度集合。

英文摘要：

In this paper, we prove that given any Π^0_1 subset $P$ of $\{0,1\}^\NN$ there is a tileset $τ$ with a set of configurations $C$ such that $P\times\ZZ^2$ 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.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。