RUS  ENG
Full version
JOURNALS // Izvestiya Rossiiskoi Akademii Nauk. Seriya Matematicheskaya // Archive

Izv. Akad. Nauk SSSR Ser. Mat., 1974 Volume 38, Issue 6, Pages 1221–1237 (Mi im2007)

Recursiveness and $R^c$-operations

V. I. Amstislavskii


Abstract: Relations are established characterizing the connection between recursiveness with respect to consistent functionals and $R^c$-operations known in the theory of sets. It is pointed out that the graph of a functional that is partial recursive with respect to a given consistent functional $F$ can be obtained by a certain (appropriate to $F$) $R^c$-operation. Sets obtained by a given $R^c$-operation over general recursive sets are characterized as semirecursive with respect to a certain (appropriate to this $R^c$-operation) consistent functional.

UDC: 51.01+518.5+519.5

MSC: 02F27, 02K30

Received: 22.05.1973


 English version:
Mathematics of the USSR-Izvestiya, 1974, 8:6, 1209–1224

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024