Power set recursion
type: Item
instance of: scholarly article
title: Power set recursion
zbMATH Open document ID: 0817.03023
DOI: 10.1016/0168-0072(94)00005-N
author: Lawrence S. Moss
published in: Annals of Pure and Applied Logic
publication date: 1995-03-22T00:00:00Z
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.
reviewed by: Leon Harkleroad
Mathematics Subject Classification ID: 03D65
Mathematics Subject Classification ID: 03D60
zbMATH DE Number: 736433
zbMATH Keywords: power degree
zbMATH Keywords: power set recursion
zbMATH Keywords: relativization
zbMATH Keywords: semirecursivity
zbMATH Keywords: power admissibility
MaRDI profile type: Publication
cites work: Adding a closed unbounded set
cites work: Q3329455
cites work: Q5597516
cites work: Q5536629
cites work: Q4146722
cites work: Q3852172
cites work: Recursive Functionals and Quantifiers of Finite Types I
cites work: Set theory. An introduction to independence proofs
cites work: Maximal sets in \(\alpha\)-recursion theory
cites work: Consistency results about ordinal definability
cites work: Hyperanalytic Predicates
cites work: Q3689175
cites work: Q5573961
cites work: Q4398473
cites work: Splitting an α-Recursively Enumerable Set
description: scientific article; zbMATH DE number 736433