We define a discrete ω-sequence of index sets to be a sequence {θ An}n ≥ 0 of index sets of classes of recursively enumerable sets, such that for each n, θ An + 1 is an immediate successor of θ An in ...