Power set recursion
This paper, the author's doctoral dissertation, develops a theory of power set recursion, basically set recursion supplemented with provisions for power sets. Recursion-theoretic notions such as relativization, degrees, and semirecursivity are explored in this setting. Relationships between power set recursion and power admissibility are also established.
scientific article; zbMATH DE number 736433
scientific article