There is no degree invariant half-jump (Q4356714): Difference between revisions

@@ Property / author @@
+Rodney G. Downey
@@ Property / author: Rodney G. Downey / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A characterization of jump operators
@@ Property / cites work: A characterization of jump operators / rank @@
+Normal rank
@@ Property / cites work @@
+TWO RECURSIVELY ENUMERABLE SETS OF INCOMPARABLE DEGREES OF UNSOLVABILITY (SOLUTION OF POST'S PROBLEM, 1944)
+Normal rank
@@ Property / cites work @@
+Pseudo Jump Operators. I: The R. E. Case
@@ Property / cites work: Pseudo Jump Operators. I: The R. E. Case / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694279
@@ Property / cites work: Q4694279 / rank @@
+Normal rank
@@ Property / cites work @@
+Cabal seminar 76-77. Proceedings, Caltech-UCLA logic seminar 1976-77
+Normal rank
@@ Property / cites work @@
+Uniform enumeration operations
@@ Property / cites work: Uniform enumeration operations / rank @@
+Normal rank
@@ Property / cites work @@
+The axiom of determinateness and reduction principles in the analytical hierarchy
+Normal rank
@@ Property / cites work @@
+Borel determinacy
@@ Property / cites work: Borel determinacy / rank @@
+Normal rank
@@ Property / cites work @@
+Q3234158
@@ Property / cites work: Q3234158 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursively enumerable sets of positive integers and their decision problems
+Normal rank
@@ Property / cites work @@
+Degrees of Unsolvability. (AM-55)
@@ Property / cites work: Degrees of Unsolvability. (AM-55) / rank @@
+Normal rank
@@ Property / cites work @@
+Q3832563
@@ Property / cites work: Q3832563 / rank @@
+Normal rank
@@ Property / cites work @@
+A classification of jump operators
@@ Property / cites work: A classification of jump operators / rank @@
+Normal rank