The jump is definable in the structure of the degrees of unsolvability (Q3491536): Difference between revisions

@@ Property / cites work @@
+The strong anticupping property for recursively enumerable degrees
+Normal rank
@@ Property / cites work @@
+A jump class of noncappable degrees
@@ Property / cites work: A jump class of noncappable degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Complementing below recursively enumerable degrees
+Normal rank
@@ Property / cites work @@
+Weak density and cupping in the d-r.e. degrees
@@ Property / cites work: Weak density and cupping in the d-r.e. degrees / rank @@
+Normal rank
@@ Property / cites work @@
+The d.r.e. degrees are not dense
@@ Property / cites work: The d.r.e. degrees are not dense / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of unsolvability: structure and theory
@@ Property / cites work: Degrees of unsolvability: structure and theory / rank @@
+Normal rank
@@ Property / cites work @@
+The strong homogeneity conjecture
@@ Property / cites work: The strong homogeneity conjecture / 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. I: The R. E. Case
@@ Property / cites work: Pseudo Jump Operators. I: The R. E. Case / 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 @@
+The upper semi-lattice of degrees of recursive unsolvability
+Normal rank
@@ Property / cites work @@
+A recursively enumerable degree which will not split over all lesser ones
+Normal rank
@@ Property / cites work @@
+Countable initial segments of the degrees of 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 @@
+Q3329452
@@ Property / cites work: Q3329452 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3916564
@@ Property / cites work: Q3916564 / rank @@
+Normal rank
@@ Property / cites work @@
+Reducibility orderings: Theories, definability and automorphisms
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. The theory of functions and sets of natural numbers
+Normal rank
@@ Property / cites work @@
+Degrees joining to <b>0</b>′
@@ Property / cites work: Degrees joining to <b>0</b>′ / rank @@
+Normal rank
@@ Property / cites work @@
+Recursively enumerable sets of positive integers and their decision problems
+Normal rank
@@ Property / cites work @@
+On automorphisms of the degrees that preserve jumps
+Normal rank
@@ Property / cites work @@
+On homogeneity and definability in the first-order theory of the Turing degrees
+Normal rank
@@ Property / cites work @@
+A non-inversion theorem for the jump operator
@@ Property / cites work: A non-inversion theorem for the jump operator / rank @@
+Normal rank
@@ Property / cites work @@
+Defining Jump Classes in the Degrees Below 0'
@@ Property / cites work: Defining Jump Classes in the Degrees Below 0' / rank @@
+Normal rank
@@ Property / cites work @@
+First-order theory of the degrees of recursive unsolvability
+Normal rank
@@ Property / cites work @@
+Working below a high recursively enumerable degree
+Normal rank
@@ Property / cites work @@
+Complementation in the Turing degrees
@@ Property / cites work: Complementation in the Turing degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Definability in the Turing degrees
@@ Property / cites work: Definability in the Turing degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Q3819052
@@ Property / cites work: Q3819052 / rank @@
+Normal rank