极小子移位的 Turing 度谱
形式语言与自动机理论
2014-09-18 v3 离散数学
计算机科学中的逻辑
摘要
子移位是 中移位不变的闭子集，极小子移位是指其中所有点包含相同模式的子移位。Jeandel 和 Vanier 已证明，非周期极小子移位的 Turing 度谱总是包含高于其任意度的 Turing 度锥。然而，尚不清楚每个极小子移位的谱是否恰好由一个锥构成。我们通过归纳法构造了一个极小子移位，其谱由具有不相交基底的不可数个锥组成。
引用
@article{arxiv.1408.6487,
title = {Turing degree spectra of minimal subshifts},
author = {Michael Hochman and Pascal Vanier},
journal= {arXiv preprint arXiv:1408.6487},
year = {2014}
}