Power set recursion

DOI10.1016/0168-0072(94)00005-NMaRDI QIDQ1346246zbMATH OpenFDO

Authors Lawrence S. Moss

Publication date 22 March 1995

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0168-0072(94)00005-N

zbMATH Keywords

power admissibilitypower degreepower set recursionrelativizationsemirecursivity

Mathematics Subject Classification ID

Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Higher-type and set recursion theory (03D65)

Review text

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.

Recommendations

• Higher recursion theory
• scientific article; zbMATH DE number 1791729
• scientific article; zbMATH DE number 1390019
• A non-standard study of the theory of relative recursivity
• Recursion theory. Computational aspects of definability

Cites work

• Adding a closed unbounded set
• Consistency results about ordinal definability
• scientific article; zbMATH DE number 3861143 (Why is no real title available?)
• scientific article; zbMATH DE number 3912367 (Why is no real title available?)
• scientific article; zbMATH DE number 3652325 (Why is no real title available?)
• scientific article; zbMATH DE number 3577197 (Why is no real title available?)
• scientific article; zbMATH DE number 1176133 (Why is no real title available?)
• scientific article; zbMATH DE number 3249775 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• scientific article; zbMATH DE number 3317740 (Why is no real title available?)
• Hyperanalytic Predicates
• Maximal sets in -recursion theory
• Recursive Functionals and Quantifiers of Finite Types I
• Set theory. An introduction to independence proofs
• Splitting an α-Recursively Enumerable Set

Cited in

(9)

• The scope of Feferman's semi-intuitionistic set theories and his second conjecture
• What is so special with the powerset operation?
• Characterizing the interpretation of set theory in Martin-Löf type theory
• A Datastructure for Iterated Powers
• From the weak to the strong existence property
• Transfinite recursion and computation in the iterative conception of set
• Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions
• Constructing the constructible universe constructively
• Cobham recursive set functions

This page was built for publication: Power set recursion

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1346246)