RUS  ENG
Full version
JOURNALS // Siberian Journal of Pure and Applied Mathematics // Archive

Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 2010 Volume 10, Issue 4, Pages 125–132 (Mi vngu63)

This article is cited in 5 papers

Some Properties of Numberings in Various Levels in Ershov's Hierarchy

S. S. Ospichev

Novosibirsk State University

Abstract: There was proved, that there no $\Delta^{-1}_{a}$-computable numbering of family of all $\Delta^{-1}_{a}$-sets, $a$ is constructive ordinal. Also there was proved, that there is minimal $\omega$-computable numbering of family of all sets from $\bigcup\limits_{k\in\omega}\Sigma_{k}^{-1}$.

Keywords: computable numbering, friedberg numbering, Ershov's hierarchy.

UDC: 510.10+510.57

Received: 22.01.2010


 English version:
Journal of Mathematical Sciences, 2013, 188:4, 441–448


© Steklov Math. Inst. of RAS, 2024