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

DOI10.1007/BF01773504zbMath0596.03045MaRDI QIDQ1078175

Robert A. Di Paola

Publication date: 1983

Published in: Annali di Matematica Pura ed Applicata. Serie Quarta (Search for Journal in Brave)

zbMATH Keywords

surveyfunctionalsalpha-recursionadmissible ordinals

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The irregular and non-hyperregular \(\alpha\)-r.e. degrees
• Effective operations on partial recursive functions
• Some Theorems on Classes of Recursively Enumerable Sets
• A lift of a theorem of Friedberg: A Banach-Mazur functional that coincides with no α-recursive functional on the class of α-recursive functions
• Splitting an α-Recursively Enumerable Set
• On generalized computational complexity
• The operator gap theorem in α-recursion theory
• A Machine-Independent Theory of the Complexity of Recursive Functions
• Metarecursively enumerable sets and their metadegrees
• The fine structure of the constructible hierarchy
• The α-finite injury method
• Classes of Recursively Enumerable Sets and Their Decision Problems