Universal Generalized Computable Numberings and Hyperimmunity

Abstract

© 2017, Springer Science+Business Media, LLC, part of Springer Nature. 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.