|
Zapiski Nauchnykh Seminarov LOMI, 1974, Volume 40, Pages 131–135
(Mi znsl2689)
|
|
|
|
Table approximations to recursive predicates
R. I. Freidson
Abstract:
The note deals with the complexity of the table approximations to the recursive predicates. In particular it is shown, that any table approximation to given recursive predicate may be essentially improved in infinitely many points.
Citation:
R. I. Freidson, “Table approximations to recursive predicates”, Studies in constructive mathematics and mathematical logic. Part VI, Zap. Nauchn. Sem. LOMI, 40, "Nauka", Leningrad. Otdel., Leningrad, 1974, 131–135
Linking options:
https://www.mathnet.ru/eng/znsl2689 https://www.mathnet.ru/eng/znsl/v40/p131
|
Statistics & downloads: |
Abstract page: | 156 | Full-text PDF : | 60 |
|