Universal Generalized Computable Numberings and Hyperimmunity

详细

Generalized computable numberings relative to hyperimmune and high oracles are studied. We give a description of oracles relative to which every finite computable family has a universal computable numbering. Also we present a characterization of the class of oracles relative to which every universal computable numbering of an arbitrary finite family is precomplete, and establish a sufficient condition for universal generalized computable numberings to be precomplete. In addition, we look into the question on limitedness of universal numberings computable relative to high oracles.