加载中…
In this paper we are interested in computability aspects of subshifts and in particular Turing degrees of 2-dimensional SFTs (i.e. tilings). To be more precise, we prove that given any \pizu subset of there is a SFT such that is recursively homeomorphic to where is a computable set of points. As a consequence, if contains a recursive member, and have the exact same set of Turing degrees. On the other hand, we prove that if contains only non-recursive members, some of its members always have different but comparable degrees. This gives a fairly complete study of Turing degrees of SFTs.

生成讲解博客的中文版本

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