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

DOI10.2307/2273615zbMath0471.03039MaRDI QIDQ3924188

Robert A. Di Paola

Publication date: 1981

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273615

zbMATH Keywords

cofinality; many-one complete; projectum; priority scheme

Mathematics Subject Classification ID

03D25: Recursively (computably) enumerable sets and degrees

03D60: Computability and recursion theory on ordinals, admissible sets, etc.

Related Items

The basic theory of partial \(\alpha\)-recursive operators

Cites Work

• The recursively enumerable α-degrees are dense
• The α-finite injury method
• On suborderings of the α-recursively enumerable α-degrees
• Unnamed Item