RUS  ENG
Full version
JOURNALS // Algebra i logika // Archive

Algebra Logika, 2017 Volume 56, Number 4, Pages 506–521 (Mi al811)

This article is cited in 12 papers

Universal generalized computable numberings and hyperimmunity

M. Kh. Faizrakhmanov

Kazan (Volga Region) Federal University, ul. Kremlevskaya 18, Kazan, 420008 Russia

Abstract: 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 generalized computable numberings to be precomplete. In addition, we look into the question on boundedness of universal numberings computable relative to high oracles.

Keywords: generalized computable numbering, universal numbering, precomplete numbering, hyperimmune set, high set.

UDC: 510.54+510.57

Received: 14.07.2015
Revised: 21.03.2017

DOI: 10.17377/alglog.2017.56.408


 English version:
Algebra and Logic, 2017, 56:4, 337–347

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2025