单纯集与可计算编号的一些性质

本文的主要结果是:设S_x~t 为N 的t-截断,则(i)从S_x~t 的指标x 可以一致能行地得到其r.e.指标;设A 是r.e.集且(?)无穷,则(ii)S 是单纯集,且(?)x:S_x~t ∩(?)≠φ,则(?)S_x~t∪S 是单纯集;(iii)若A 还是tt-完全的,则(?)S_x~t ∪S 亦是tt-完全的.本文还证明了文献2]与3]分别给出的形式上不同的可计算编号的定义是等价的.