A lift of a theorem of Friedberg: A Banach-Mazur functional that coincides with no α-recursive functional on the class of α-recursive functions
AbstractR. 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 α* = λ = ω.
1965 ◽
Keyword(s):
2008 ◽
Vol 397
(1-3)
◽
pp. 57-69
◽
1957 ◽
Vol 1
(2)
◽
pp. 119-130
Keyword(s):
Keyword(s):