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.03039OpenAlexW2161195558MaRDI 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

cofinalitymany-one completeprojectumpriority scheme

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (1)

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

Cites Work

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

This page was built for publication: A lift of a theorem of Friedberg: A Banach-Mazur functional that coincides with no α-recursive functional on the class of α-recursive functions