关于n-迟缓集
逻辑
2011-01-04 v1
摘要
Harrington和Soare引入了n-迟缓集的概念。他们证明存在一个非空的性质Q(A)，使得若Q(A)成立则A是2-迟缓的。由于他们还证明没有2-迟缓集是完备的，Harrington和Soare表明存在一个可计算可枚举集的轨道，使得该轨道中的每个集都是不完备的。我们对n-迟缓集的研究从Harrington和Soare的结论出发。我们回答了Harrington和Soare提出的关于n-迟缓集的所有开放问题。我们证明存在一个3-迟缓集A，它不被任何2-迟缓集B所计算。我们还证明存在非空的性质，使得若成立则A是严格n-迟缓的。
引用
@article{arxiv.1101.0228,
title = {On n-Tardy Sets},
author = {Peter A. Cholak and Peter M. Gerdes and Karen Lange},
journal= {arXiv preprint arXiv:1101.0228},
year = {2011}
}