可计算枚举集轨道的复杂性

本文旨在宣布，在包含关系$\E$下的c.e.集中存在单一轨道，使得该轨道的成员归属问题是$\Sigma^1_1$完全的。该结果及其证明有许多很好的推论：$\E$的Scott秩为$\wock +1$；并非所有轨道都是初等可定义的；$\E$的所有轨道不存在算术描述；对于所有有限$\alpha \geq 9$，存在一个真$\Delta^0_\alpha$轨道（源自证明）。本版本做了一些小修正。