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
@@ Property / full work available at URL @@
+https://doi.org/10.1142/s0219061307000676
+Normal rank
@@ Property / OpenAlex ID @@
+W2004803619
@@ Property / OpenAlex ID: W2004803619 / rank @@
+Normal rank