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

Algebra Logika, 2014 Volume 53, Number 5, Pages 555–569 (Mi al650)

This article is cited in 24 papers

Generalized computable universal numberings

S. A. Badaeva, S. S. Goncharovbc

a Al-Farabi Kazakh National University, Al-Farabi ave. 71, Alma-Ata, 050038, Kazakhstan
b Novosibirsk State University, ul. Pirogova 2, Novosibirsk, 630090, Russia
c Sobolev Institute of Mathematics, pr. Akad. Koptyuga 4, Novosibirsk, 630090, Russia

Abstract: We aim to consider the notion of a computable numbering as a uniform enumeration of sets of a family relative to an arbitrary oracle. The questions under investigation concern primarily universal computable numberings. A study of this kind of numberings is mostly motivated by their nature since any universal numbering of a family contains information on all its computable numberings.

Keywords: computability, oracle, universal computable numbering.

UDC: 510.54+510.57

Received: 26.02.2014


 English version:
Algebra and Logic, 2014, 53:5, 355–364

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024