Power set recursion (Q1346246): Difference between revisions

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.

0 references

reviewed by

Leon Harkleroad

0 references

zbMATH Keywords

power degree

0 references

power set recursion

0 references

relativization

0 references

semirecursivity

0 references

power admissibility

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

Adding a closed unbounded set

0 references

0 references

0 references

0 references

0 references

0 references

Recursive Functionals and Quantifiers of Finite Types I

0 references

Set theory. An introduction to independence proofs

0 references

Maximal sets in \(\alpha\)-recursion theory

0 references

Consistency results about ordinal definability

0 references

Hyperanalytic Predicates

0 references

Q3689175

0 references

Q5573961

0 references

Q4398473

0 references

Splitting an α-Recursively Enumerable Set

0 references

Identifiers

zbMATH Open document ID

0817.03023

0 references

DOI

10.1016/0168-0072(94)00005-N

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1346246

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Adding a closed unbounded set
@@ Property / cites work: Adding a closed unbounded set / rank @@
+Normal rank
@@ Property / cites work @@
+Q3329455
@@ Property / cites work: Q3329455 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5597516
@@ Property / cites work: Q5597516 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5536629
@@ Property / cites work: Q5536629 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4146722
@@ Property / cites work: Q4146722 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3852172
@@ Property / cites work: Q3852172 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Functionals and Quantifiers of Finite Types I
+Normal rank
@@ Property / cites work @@
+Set theory. An introduction to independence proofs
+Normal rank
@@ Property / cites work @@
+Maximal sets in \(\alpha\)-recursion theory
@@ Property / cites work: Maximal sets in \(\alpha\)-recursion theory / rank @@
+Normal rank
@@ Property / cites work @@
+Consistency results about ordinal definability
@@ Property / cites work: Consistency results about ordinal definability / rank @@
+Normal rank
@@ Property / cites work @@
+Hyperanalytic Predicates
@@ Property / cites work: Hyperanalytic Predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Q3689175
@@ Property / cites work: Q3689175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4398473
@@ Property / cites work: Q4398473 / rank @@
+Normal rank
@@ Property / cites work @@
+Splitting an α-Recursively Enumerable Set
@@ Property / cites work: Splitting an α-Recursively Enumerable Set / rank @@
+Normal rank