RUS  ENG
Full version
JOURNALS // Matematicheskii Sbornik // Archive

Mat. Sb. (N.S.), 1976 Volume 101(143), Number 1(9), Pages 21–43 (Mi sm2939)

Iterated Kleene computability and the superjump

N. V. Beljakin


Abstract: Recursive hierarchies obtained by iterating the well-known version, developed by S. C. Kleene, of recursiveness relative to objects of type $\leqslant2$ are studied in the article. Iteration is carried out over ordinal indexings which, in a definite sense, are effectively constructed. An estimate is given for classes corresponding to critical points of the hierarchies under consideration.
Bibliography: 10 titles.

UDC: 517.11+518.5

MSC: 02F27, 02F35

Received: 03.06.1975


 English version:
Mathematics of the USSR-Sbornik, 1976, 30:1, 17–37

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024