DIRECT AND LOCAL DEFINITIONS OF THE TURING JUMP (Q3521600): Difference between revisions

@@ Property / cites work @@
+The jump is definable in the structure of the degrees of unsolvability
+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 @@
+Definable degrees and automorphisms of 𝒟
@@ Property / cites work: Definable degrees and automorphisms of 𝒟 / rank @@
+Normal rank
@@ Property / cites work @@
+Pseudo-jump operators. II: Transfinite iterations, hierarchies and minimal covers
+Normal rank
@@ Property / cites work @@
+A degree-theoretic definition of the ramified analytical hierarchy
+Normal rank
@@ Property / cites work @@
+Fixed points of jump preserving automorphisms of degrees
+Normal rank
@@ Property / cites work @@
+On the representation of lattices
@@ Property / cites work: On the representation of lattices / rank @@
+Normal rank
@@ Property / cites work @@
+The upper semi-lattice of degrees of recursive unsolvability
+Normal rank
@@ Property / cites work @@
+Initial segments of the degrees of unsolvability
@@ Property / cites work: Initial segments of the degrees of unsolvability / rank @@
+Normal rank
@@ Property / cites work @@
+Interpretability and Definability in the Recursively Enumerable Degrees
+Normal rank
@@ Property / cites work @@
+Degree Structures: Local and Global Investigations
+Normal rank
@@ Property / cites work @@
+Defining the Turing jump
@@ Property / cites work: Defining the Turing jump / rank @@
+Normal rank
@@ 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 @@
+First-order theory of the degrees of recursive unsolvability
+Normal rank