Local Definitions in Degree Structures: The Turing Jump, Hyperdegrees and Beyond (Q5421031): Difference between revisions

@@ Property / cites work @@
+A splitting theorem for $n-REA$ degrees
@@ Property / cites work: A splitting theorem for $n-REA$ degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Pseudo-jump operators. II: Transfinite iterations, hierarchies and minimal covers
+Normal rank
@@ Property / cites work @@
+Definable degrees and automorphisms of 𝒟
@@ Property / cites work: Definable degrees and automorphisms of 𝒟 / rank @@
+Normal rank
@@ Property / cites work @@
+On a Conjecture of Kleene and Post
@@ Property / cites work: On a Conjecture of Kleene and Post / rank @@
+Normal rank
@@ Property / cites work @@
+The jump is definable in the structure of the degrees of unsolvability
+Normal rank
@@ Property / cites work @@
+Q4040890
@@ Property / cites work: Q4040890 / rank @@
+Normal rank
@@ Property / cites work @@
+The upper semi-lattice of degrees of recursive unsolvability
+Normal rank
@@ Property / cites work @@
+Fixed points of jump preserving automorphisms of degrees
+Normal rank
@@ Property / cites work @@
+A degree-theoretic definition of the ramified analytical hierarchy
+Normal rank
@@ Property / cites work @@
+First-order theory of the degrees of recursive unsolvability
+Normal rank
@@ Property / cites work @@
+Defining the Turing jump
@@ Property / cites work: Defining the Turing jump / rank @@
+Normal rank