论可计算枚举集的轨道
逻辑
2007-11-21 v4
摘要
本文的目标是证明在包含关系下可计算枚举集（c.e. sets）存在一个单一轨道 ，使得属于该轨道的判定问题是 -完全的。这一结果与证明有许多漂亮的推论： 的 Scott 秩为 ；并非所有轨道都是初等可定义的；不存在对所有 的轨道的算术描述；对所有有限 ，存在一个真 轨道（由证明得出）。2007年4月6日，细微修改；2007年11月20日，细微修改。
引用
@article{arxiv.math/0607264,
title = {On the Orbits of Computably Enumerable Sets},
author = {Peter Cholak and Rod Downey and Leo Harrington},
journal= {arXiv preprint arXiv:math/0607264},
year = {2007}
}