Hostname: page-component-76fb5796d-22dnz Total loading time: 0 Render date: 2024-04-29T18:56:31.764Z Has data issue: false hasContentIssue false
  • English
  • Français

A lift of a theorem of Friedberg: A Banach-Mazur functional that coincides with no α-recursive functional on the class of α-recursive functions

Published online by Cambridge University Press:  12 March 2014

Robert A. di Paola
Get access Rights & Permissions [Opens in a new window]

Abstract

R. M. Friedberg demonstrated the existence of a recursive functional that agrees with no Banach-Mazur functional on the class of recursive functions. In this paper Friedberg's result is generalized to both α-recursive functionals and weak α-recursive functionals for all admissible ordinals α such that λ < α*, where α* is the Σ1-projectum of α and λ is the Σ2-cofinality of α. The theorem is also established for the metarecursive case, α = ω1, where α* = λ = ω.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 46 , Issue 2 , June 1981 , pp. 216 - 232
Copyright
Copyright © Association for Symbolic Logic 1981

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]di Paola, R.A., The theory of partial α-recursive operators, abstract Notices of the American Mathematical Society, vol. 25 (5) (1978), p. A–497.Google Scholar
[2]di Paola, R.A., The theory of partial α-recursive operators, Annali di Matematica Pura ed Applicata (to appear).Google Scholar
[3]Friedberg, R.M., 4-quantifier completeness: A Banach-Mazur functional not uniformly partial recursive, Bulletin de l'Académie Polonaise des Sciences. Série de Sciences Mathématiques, Astronomiques et Physiques, vol. 6 (1) (1958), pp. 15.Google Scholar
[4]Kreisel, Lacombe, D. and Shoenfield, J.R., Fonctionelles recursivement définissables et fonctionelles récursives, Comptes Rendues Hebdomadaires des Séances de l'Académie des Sciences. Séries A et B. (Paris), vol. 245 (1957), pp. 399–402.Google Scholar
[5]Lerman, M., On suborderings of the α-recursively enumerable degrees, Annals of Mathematical Logic, vol. 4 (1972), pp. 369–392.CrossRefGoogle Scholar
[6]Rogers, H. Jr., Theoy of recursive functions and effective computabilty, McGraw-Hill, New York, 1967.Google Scholar
[7]Sacks, G.E., Higher recursion theory, Springer, Berlin (to appear).Google Scholar
[8]Sacks, G.E., Post's problem, admissible ordinals, and regularity, Transactions of the American Mathematical Society, vol. 124 (1966), pp. 1–24.Google Scholar
[9]Sacks, G.E. and Simpson, S.G., The α-finite injury method, Annals of Mathematical Logic, vol. 4 (1972), pp. 343–368.CrossRefGoogle Scholar
[10]Shore, R.A., Splitting an α-recursively enumerable set, Transactions of the American Mathematical Society, vol. 204 (1975), pp. 65–78.Google Scholar
[11]Shore, R.A., The recursively enumerable α degrees are dense, Annals of Matematical Logic, vol. 9 (1976), pp. 123–155.CrossRefGoogle Scholar
[12]Simpson, S.G., Degree theory on admissible ordinals, Generalized recursion theory (Fenstad, J.E. and Hinman, P.G., Editors), North-Holland, Amsterdam, 1974, pp. 165–193.Google Scholar