|
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.
Received: 22.05.1973
Citation:
V. I. Amstislavskii, “Recursiveness and $R^c$-operations”, Math. USSR-Izv., 8:6 (1974), 1209–1224
Linking options:
https://www.mathnet.ru/eng/im2007https://doi.org/10.1070/IM1974v008n06ABEH002144 https://www.mathnet.ru/eng/im/v38/i6/p1221
|
|