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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback