RUS  ENG
Full version
JOURNALS // Algebra i logika // Archive
Algebra Logika, 2015 Volume 54, Number 4, Pages 444–462 (Mi al704)
This article is cited in 11 papers

Friedberg numberings in the Ershov hierarchy

S. S. Ospichevab

a Sobolev Institute of Mathematics, pr. Akad. Koptyuga 4, Novosibirsk, 630090, Russia
b Novosibirsk State University, ul. Pirogova 2, Novosibirsk, 630090, Russia

Abstract: A Friedberg numbering of the family of all sets for any given level of the Ershov hierarchy is constructed, and we also consider different consequences of this result.

Keywords: computable numbering, Friedberg numbering, Ershov hierarchy.

UDC: 510.532+510.57

Received: 17.08.2012
Revised: 17.03.2015

DOI: 10.17377/alglog.2015.54.403


 English version: Algebra and Logic, 2015, 54:4, 283–295

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2024